var argv; 

function hover(x, y)
{
	var o;
		if(x==0){o="home";}
		else if(x==1){o="about";}
		else if(x==2){o="specs";}
		else if(x==3){o="press";}
		else if(x==4){o="gallery";}
	
	if(argv==o){}
	else{document.getElementById(o).src = "images/btn/" +o+y+".png";}
}


function navi(o)
{
	if(o==null || o == ""){o="home"}
	argv=o;
	document.getElementById(o).src = "images/btn/" +o+"1.png";
}