//<!--  to hide
var timerID = null;
var timerRunning = false;
var gmttimeoffset = 0; //8 hours * 60 min per hour * 60 sec per min * 1000
var msecperminute = 60000; //60 seconds per minute * 1000
var digclockwords = "I don't know the time";
function fullYear(anydate) {
    //returns the year (e.g. 1996) from any date object
    var xx = null;
    xx = anydate.getYear();
    if (xx < 1900) {xx = xx + 1900}
    return xx;
}
function monthDay(anydate) {
    //returns the day number (1-31) from any date object
    return anydate.getDate();
}
function monthName(anydate) {
    //returns the month name from any date object
    xx = anydate.getMonth()+1;
    nm=null;
    if (xx==1){nm="January"};
    if (xx==2){nm="February"};
    if (xx==3){nm="March"};
    if (xx==4){nm="April"};
    if (xx==5){nm="May"};
    if (xx==6){nm="June"};
    if (xx==7){nm="July"};
    if (xx==8){nm="August"};
    if (xx==9){nm="September"};
    if (xx==10){nm="October"};
    if (xx==11){nm="November"};
    if (xx==12){nm="December"};
    return nm;
}
function monthName_es(anydate) {
    //returns the month name from any date object
    xx = anydate.getMonth()+1;
    nm=null;
    if (xx==1){nm="Enero"};
    if (xx==2){nm="Febrero"};
    if (xx==3){nm="Marzo"};
    if (xx==4){nm="Abril"};
    if (xx==5){nm="Mayo"};
    if (xx==6){nm="Junio"};
    if (xx==7){nm="Julio"};
    if (xx==8){nm="Agosto"};
    if (xx==9){nm="Septiembre"};
    if (xx==10){nm="Octubre"};
    if (xx==11){nm="Noviembre"};
    if (xx==12){nm="Diciembre"};
    return nm;
}
function weekDay(anydate) {
    //returns the day name from any date object
    var xx = anydate.getDay()+1;
    var dn = null;
    if (xx==1){dn="Sunday"};
    if (xx==2){dn="Monday"};
    if (xx==3){dn="Tuesday"};
    if (xx==4){dn="Wednesday"};
    if (xx==5){dn="Thursday"};
    if (xx==6){dn="Friday"};
    if (xx==7){dn="Saturday"};
    return dn;
}
function nowStr(anydate) {
    //returns the time as a string from any date object
    hours = anydate.getHours();
    if (hours < 10) {hours = "0" + hours};
    minutes = anydate.getMinutes();
    if (minutes < 10) {minutes = "0" + minutes};
    seconds = anydate.getSeconds();
    if (seconds < 10) {seconds = "0" + seconds};
    timeStr = "" + hours + colon + minutes + colon + seconds;
    return timeStr;
}
function completelongtime (anydate) {
    var xx = null;
    var xx = "" + nowStr (anydate) +space + "on" + space + weekDay (anydate) + comma + space + monthDay(anydate) + space + monthName(anydate) + space + fullYear(anydate);
    return xx;
}
function stopclock (){
    if(timerRunning)
    clearTimeout(timerID);
    timerRunning = false;
}
function startclock () {
    stopclock();
    showtime();
}
function showtime () {
    if (!document.layers && !document.all) return;
    var now = new Date();
    var nowgmt = now.getTime() + now.getTimezoneOffset()*msecperminute;
    var gmttimedate = new Date (nowgmt + gmttimeoffset);
    digclock = ""+"<table><tr><td><p class=\"aqua\">Your local time is:</td><td><p class=\"aqua\">"+completelongtime(now) + "</td></tr>";
    digclock = digclock + "<tr><td><p class=\"aqua\">GMT time is:</td><td><p class=\"aqua\">" + completelongtime(gmttimedate) +"</td></tr></table>";
    if (document.layers) {
        document.layers.thetimeis.document.write(digclock);
        document.layers.thetimeis.document.close();
    }
    else if (document.all)
    thetimeis.innerHTML = digclock;
    timerID = setTimeout("showtime()",1000);
    timerRunning = true;
}
function obtain_time_string() {
    var now = new Date();
    digclockwords = "" + "Your local time is: " + completelongtime(now) + period;
    return(0);
}
function dm_long (datemodified) {
    var xx = null;
    var xx = "Last update on" + space + monthDay(datemodified) + space + monthName(datemodified) + space + fullYear(datemodified);
    return xx;
}

function dm_es_long (datemodified) {
    var xx = null;
    var xx = "Actualizaci&oacute;n pasada" + space + monthDay(datemodified) + space + monthName_es(datemodified) + space + fullYear(datemodified);
    return xx;
}
// end hiding -->