function menu_over(cual, clase){
document.getElementById(cual).className= "menu_hover";
}
function menu_out(cual, clase){
document.getElementById(cual).className= "menu";
}

var sec='2';
function ver_texto(div,secs)
{
   secs = secs * 1000;
   setTimeout("document.getElementById('" + div + "').style.display = 'block';", secs);

}