function hauptmenue_on(id)
{
		obj = document.getElementsByTagName("a");
		obj[id].style.color = 'rgb(248,207,81)';	
}	



function untermenue_on(id)
{
		obj = document.getElementsByTagName("a");
		obj[id].style.textDecoration= 'underline';	
}