///////////////////////////////////////////////////// Funktion zum Aktivieren der ICONs
function open_icon(iconID)
	{
	document.getElementById(iconID).style.visibility="visible";
	}
//-----------------------------------------------------------------------------------------------	
///////////////////////////////////////////////////// Funktion zum Deaktivieren der ICONs
function close_icon(iconID)
	{
	document.getElementById(iconID).style.visibility="hidden";
	}
//-----------------------------------------------------------------------------------------------