function mostrarMenu(){
var menu=document.getElementById('menu1');
movein(menu);
setTimeout("ocultarMenu()",3500);
}
function ocultarMenu(){
var menu=document.getElementById('menu1');
moveout(menu);
}