// timeformat.js
//               rotinas JavaScript para formatação de datas
//				 string resultado no formato "Dia_da_Semana, NN de MÊS de ANO"
//
function makeArray() {
     for (i = 0; i<makeArray.arguments.length; i++)
         this[i] = makeArray.arguments[i];
 }
 
function getFullYear(d) {
    var y = d.getYear();
    if (y < 1000) {y += 1900};
    return y;
}


function date_format(t) {
   
    var Hours = t.getHours();
    var Minutes = t.getMinutes();
    var Seconds = t.getSeconds();
    var Day = t.getDay();
    var Date = t.getDate();
    var Month = t.getMonth();
    var Year = getFullYear(t);
    
	if (Minutes < 10) {Minutes = "0"+Minutes;}
	if (Seconds < 10) {Seconds = "0"+Seconds;}

    timeString = "";
    timeString += days[Day];
    timeString += ", ";
    timeString += " ";
    timeString += Date;
    timeString += " de ";
    timeString += months[Month];
    timeString += " de ";
    timeString += Year;
   
   return timeString;
  
}

function time_format(t) {
   
    var Hours = t.getHours();
    var Minutes = t.getMinutes();
    var Seconds = t.getSeconds();
    var Day = t.getDay();
    var Date = t.getDate();
    var Month = t.getMonth() + 1;
    var Year = t.getYear();
    
	if (Month < 10)   {Month = "0"+Month;}
	if (Date < 10)    {Date = "0"+Date;}
	if (Minutes < 10) {Minutes = "0"+Minutes;}
	if (Seconds < 10) {Seconds = "0"+Seconds;}

    timeString = "";
    timeString += Year;
    timeString += "/";
    timeString += Month;
    timeString += "/";
    timeString += Date;
    timeString += "  ";
    timeString += Hours;
    timeString += ":";
    timeString += Minutes;
    timeString += ":";
    timeString += Seconds;
    //timeString += " ";
    //timeString += zone;
   
   return timeString;
  
}

//var zone = "EST";
var days = new makeArray("Domingo","Segunda","Ter&ccedil;a","Quarta","Quinta","Sexta","S&aacute;bado");
var months = new makeArray("Janeiro","Fevereiro","Mar&ccedil;o","Abril","Maio","Junho","Julho","Agosto","Setembro","Outubro","Novembro","Dezembro");

m = new Date(document.lastModified);
d = new Date();
