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);

}



function div_alto() {
var alto_txt;
alto_txt = document.getElementById("txt_1").offsetHeight;
if(alto_txt<300){
alto_txt="300";
}else{
alto_txt=alto_txt;
}
document.getElementById("txt_2").style.height= alto_txt;
}