(1) Pojištění zaměstnanců Jáchymovských dolů, národního podniku v Jáchymově, provádí v mezích ustanovení § 175 zákona o národním pojištění okresní národní pojišťovna v Karlových Varech.