color=new Array('#6882a1','#4c6a8a');
menu=new Array('#5b6c9e','#506193');



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


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


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