Jmenný katalog (1957-1996)

	ist0800
	ist0810
	ist0820
	ist0830
	ist0840
	ist0850
	ist0860
	ist0870
	is_0002
	is_0012