<!--

pic1= new Image(109,95); 
pic1.src="img/menu_mouseover.png";

function show_(nr) { document.getElementById(nr).style.visibility= 'visible'; }
function hide_(nr) { document.getElementById(nr).style.visibility= 'hidden'; }

// -->