// 
function setHeight(newHeight)
	{
		document.getElementById('menu').style.height = newHeight;
		//alert(newHeight);
	}

//
function stopResizeHeight()
	{	
		clearTimeout(timeoutID);
		//alert('CLEAR!');
	}
function resizeHeight(idName, end, vel)
	{
		var d = document.getElementById(idName).style.height;
		var n = d.substring (0,d.length-2);
		var z = n*1+(end-n*1)/vel;

		document.getElementById(idName).style.height = z;
		
		if(Math.abs(z-end)>4){
			timeoutID = setTimeout("resizeHeight('"+idName+"',"+end+","+vel+")",10)
		} else{
			clearTimeout(timeoutID);
			document.getElementById(idName).style.height = end;
			//alert('END!');
		}
	}