var rheight = 37; 

function setHeight(sheight)
{
	rheight = sheight;
}

function expandMenu()
{
	document.getElementById("menun").style.height = rheight+47 + "px";	
}


function contractMenu()
{
	document.getElementById("menun").style.height = "37px";
}