function getStyle( layer ) {
	if( document.getElementById ) {
		return document.getElementById( layer ).style
	} else if( document.all ) {
		return document.all[layer].style
	} else {
		return document[layer]
	}
}


function toonmenu(div, btndiv)
{
	getStyle(div).visibility = "visible";
	getStyle(btndiv).background = "#A9A9A9";
}
function wegmenu(div, btndiv)
{
	getStyle(div).visibility = "hidden";
	getStyle(btndiv).background = "#CCCCCC";
}