function detener()
					{
						document.getElementById('scroll').stop();
					};
					function iniciar()
					{
						document.getElementById('scroll').start();
					};






function time()
    {
        var today = new Date();
        var hrs = today.getHours();
        var min = today.getMinutes();
        var secs = today.getSeconds();
        
        var alsohrs = today.getHours();
        var dayNumber = today.getDate();
        var year = today.getFullYear();
        
        var ampm="";
        var zero="0";
        var month = today.getMonth();
        var weekday = today.getDay();
        
        var wdn = new Array(7)
        wdn[0] = "Domingo";
        wdn[1] = "Lunes";
        wdn[2] = "Martes";
        wdn[3] = "Miércoles";
        wdn[4] = "Jueves";
        wdn[5] = "Viernes";
        wdn[6] = "Sábado";
        
        var mn = new Array(12)
        mn[0] = "Enero";
        mn[1] = "Febrero";
        mn[2] = "Marzo";
        mn[3] = "Abril";
        mn[4] = "Mayo";
        mn[5] = "Junio";
        mn[6] = "Julio";
        mn[7] = "Agosto";
        mn[8] = "Septiembre";
        mn[9] = "Octubre";
        mn[10] = "Noviembre";
        mn[11] = "Diciembre";
        
        // Statement that puts zeros in front of single minutes or seconds.
        if (min<10)
            {
                min=zero+min;
            }
        if (secs<10)
            {
                secs=zero+secs;
            }
        
        // Statement that eliminates metric time.
        if (hrs>12)
            {
                hrs=eval(hrs - 12);
            }
        if (hrs>=0 && hrs<1)
            {
                hrs=12;
            }
        
        // Statement to determine am or pm
        if (alsohrs>=12 && alsohrs<24)
            {
                ampm="P.M.";
            }
        else
            {
                ampm="A.M.";
            }
        
        
        tmp='<div class="body">';
        tmp+=wdn[weekday]+'&nbsp;'+dayNumber+'&nbsp;de&nbsp;'+mn[month]+'&nbsp;'+year+'&nbsp;'+hrs+':'+min+'&nbsp;'+ampm;
        document.getElementById("digi_clock").innerHTML=tmp;
        clocktime=setTimeout("time()","1000");
}