1 0223-8918 1 0231-5300 1 0231-9365 4 0232-0916 1 0232-7066 - 0236-5758 (1983-1993) 1 0240-849X 1 0240-8503 1 0244-6014 1 0256-1840