// JavaScript Document


function hide()
{
	var doc = document.getElementById("menu");
	doc.style.width = "0px";
	
	setTimeout(timedCount, 1000);
}


var c=0;
var t;
function timedCount()
{
var div = document.getElementById('menu');
	if(c <= 400)
	{
		div.style.width= c + "px";
		t=setTimeout("timedCount()",10);
		c=c+15;
	}
	else
	{
		c = 0;
		div.style.width =  "400px";
	}
}