function flash(nome){
    document.getElementById("flash").innerHTML=flash_string
}
function menu_over(obj){
//   if(obj.src.indexOf("_up")<0)
    obj.src=obj.src.replace(".png","_up.png").replace(".gif","_up.gif");
}
function menu_out(obj){
    obj.src=obj.src.replace("_up.png",".png").replace("_up.gif",".gif");;
}