function lastMod()
{
        var monthNames = new Array( 'ene','feb','mar','abr','may','jun','jul', 'ago', 'sep', 'oct', 'nov', 'dic' );

        var zeroPad = null;
        var lastDate = new Date( document.lastModified );
        year = y2kYear( lastDate );
        month = lastDate.getMonth();
        day = lastDate.getDate();
        if( day < 10 )
        {
                zeroPad = "0";
        }
        
        printDate = zeroPad + day + " " + monthNames[ month ] + " " + year;

        return printDate;
}

function y2kYear( theDate )
{
        wrongYear = theDate.getYear();
        var rightYear = wrongYear % 100;
        rightYear += (rightYear < 38) ? 2000 : 1900;
        return rightYear;
}