function check_prof(prof) { 
	if ( prof != 13 )
		{ document.getElementById("precision_prof").style.visibility = "hidden"; }
		else
		{ document.getElementById("precision_prof").style.visibility = "visible"; document.getElementById("precision_prof").focus(); }

	};