var mifecha;
        function pintaFecha()
        {
            var fecha = new Date();
            var dia_letra = fecha.getDay();
            var dia = fecha.getDate();
            var mes = fecha.getMonth();
            var anyo = fecha.getFullYear();

            switch(dia_letra)
            {
                case 0:
                    dia_letra = "Domingo";
                    break;
                case 1:
                    dia_letra = "Lunes";
                    break;
                case 2:
                    dia_letra = "Martes";
                    break;
                case 3:
                    dia_letra = "Miércoles";
                    break;
                case 4:
                    dia_letra = "Jueves";
                    break;
                case 5:
                    dia_letra = "Viernes";
                    break;
                case 6:
                    dia_letra = "Sábado";
                    break;
                default:
                    dia_letra = "Domingo";
                    break;
            }
            switch(mes)
            {
                case 0:
                    mes = "de Enero";
                    break;
                case 1:
                    mes = "de Febrero";
                    break;
                case 2:
                    mes = "de Marzo";
                    break;
                case 3:
                    mes = "de Abril";
                    break;
                case 4:
                    mes = "de Mayo";
                    break;
                case 5:
                    mes = "de Junio";
                    break;
                case 6:
                    mes = "de Julio";
                    break;
                case 7:
                    mes = "de Agosto";
                    break;
                case 8:
                    mes = "de Septiembre";
                    break;
                case 9:
                    mes = "de Octubre";
                    break;
                case 10:
                    mes = "de Noviembre";
                    break;
                case 11:
                    mes = "de Diciembre";
                    break;
                default:
                    mes = "";
                    break;
            }
            mifecha=dia_letra+", "+dia+" "+mes+" de "+anyo;

            if(document.all)
                document.all('fecha').innerHTML=mifecha;
            else if(document.getElementById)
                document.getElementById('fecha').innerHTML=mifecha;
            else if(document.layers)
            {   
                with(document.layers['fecha'])
                {
                    document.open();
                    document.write(mifecha);
                    document.close();
                }
            }   
        }