function sfHover() {
     var sfEls = document.getElementById("nav").getElementsByTagName("LI");
     for (var i=0; i<sfEls.length; i++) {
             sfEls[i].onmouseover=function() {
                     this.className+=" sfhover";
             }
             sfEls[i].onmouseout=function() {
                     this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
             }
     }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);

	// This array holds the "friendly" day names
        var day_names = new Array(7)
        day_names[0] = "Domingo"
        day_names[1] = "Lunes"
        day_names[2] = "Martes"
        day_names[3] = "Miercoles"
        day_names[4] = "Jueves"
        day_names[5] = "Viernes"
        day_names[6] = "Sabado"

        // This array holds the "friendly" month names
        var month_names = new Array(12)
        month_names[0] = "Enero"
        month_names[1] = "Febrero"
        month_names[2] = "Marzo"
        month_names[3] = "Abril"
        month_names[4] = "Mayo"
        month_names[5] = "Junio"
        month_names[6] = "Julio"
        month_names[7] = "Agosto"
        month_names[8] = "Septiembre"
        month_names[9] = "Octubre"
        month_names[10] = "Noviembre"
        month_names[11] = "Diciembre"

        // Get the current date
        date_now = new Date()

        // Figure out the friendly day name
        day_value = date_now.getDay()
        date_text = day_names[day_value]

        // Add the day of the month
        date_text += " " + date_now.getDate()

        // Figure out the friendly month name
        month_value = date_now.getMonth()
        date_text += " de " + month_names[month_value]

        // Add the year
        date_text += " de " + date_now.getFullYear()
	// Get the minutes in the hour
	minute_value = date_now.getMinutes()
	if (minute_value < 10) {
	    minute_value = "0" + minute_value
	}
	
	// Get the hour value and use it to customize the greeting
	hour_value = date_now.getHours()
	time_text = hour_value + ":" + minute_value
	// document.write("<a href='#'>"+time_text +" | " + date_text+"</a>")

// Switch menu

function SwitchMenu(obj) {
var el = document.getElementById(obj);
if ( el.style.visibility != 'hidden' ) 
 { el.style.visibility = 'hidden'; }
else
 { el.style.visibility = 'visible'; }
}