function mouseOver(){
	document.getElementById('element1').src ="gfx/logo_hover.png";
  }
  function mouseOut(){
	document.getElementById('element1').src ="gfx/logo.png";
  }