color=new Array('#8fbae6','#cae4ff');
menu=new Array('#5b6c9e','#506193');

color2=new Array('#506193','#506193');
menu2=new Array('#506193','#506193');



function but1(div,colornr)
{
	div.style.backgroundColor=color[colornr];
}

function but1_o(div,colornr)
{
	div.style.backgroundColor=color[colornr];
}


function but2(sURL)
{
	self.location.href=sURL;
	return false;
}

function but2_o(sURL)
{
	self.location.href=sURL;
	return false;
}


function men1(div,menunr)
{
	div.style.backgroundColor=menu[menunr];
}

function men1_o(div,menunr)
{
	div.style.backgroundColor=menu[menunr];
}