function init()
			{
				document.getElementById("seknav").style.visibility= "visible";
			}
		
		function highlight(no)
			{
				document.images["nav"+no].src="img/nav_fadein.gif";
			}
			
		function downlight(no)
			{
				document.images["nav"+no].src="img/nav_fadeout.gif";
			}
		
		
		function windowinit()
			{
				//window.resizeTo(829,window.outerHeight);
			}