
<!-- 
// Tem um bando de bugs nas funcoes referentes a datas no javascript,
// entao o melhor e simplificar: vamos comparar a hora local da maquina
// cliente com a hora da cidade desejada e calcular o horario da cidade
// a cada segundo de acordo com essa diferenca. Nao vamos usar tempos
// UTC porque ha varios problemas com timezones e horario de verao.

var contagemID = null;
var contagemAtivada = false;
var diferenca = 0;
var acerta = 0;

// Array relacionando o numero do mes ao nome
mes_port = new Object();
      mes_port[0] ="jan";      mes_port[1] ="fev";      mes_port[2] ="mar";     mes_port[3] ="abr";
      mes_port[4] ="mai";      mes_port[5] ="jun";      mes_port[6] ="jul";     mes_port[7] ="ago";
      mes_port[8] ="set";      mes_port[9] ="out";      mes_port[10] ="nov";    mes_port[11] ="dez";

// Vamos usar sempre o ano com 4 digitos; como ha diferencas entre
// o explorer e o navigator, precisa desta funcaozinha.
function getFullYear(date) {
        var ano = date.getYear();
        if (ano < 1000) ano += 1900;
        return ano;
}

// Calculemos a diferenca entre o horario enviado pelo servidor e o horario da
// maquina cliente; com esse numero, podemos recalcular a cada segundo o horario
// correto da cidade independente do horario da maquina cliente.
// Somamos 2 segs a data enviada pelo servidor porque
// ha um certo atraso entre o momento em que o servidor "gera" a data e o momento
// em que o javascript e executado; "adiantando" o relogio 2 segundos, esse erro
// e minimizado (mas nao eliminado, pois nao da pra determinar o erro com precisao).
function iniciaconta(hora_inicial_cidade){
          hora_inicial_local=new Date;
          diferenca = hora_inicial_cidade.getTime() - hora_inicial_local.getTime() + 2; 
          return diferenca;
}

function mostrarTempo(acerta){
        // Pega a hora local atual:
        var agora = new Date();
        // Acerta de acordo com a diferenca calculada antes:
        agora.setTime(agora.getTime() + acerta);
        // Divide em ano, mes, dia etc.
        var ano = getFullYear(agora);
        var mes = mes_port[agora.getMonth()];
        var dia = agora.getDate();

        var data_cidade=((dia < 10) ? "0" : "") + dia +"/" +mes+"/" + ano + " - ";

        var hora = agora.getHours();
        var minuto = agora.getMinutes();
        var segundo = agora.getSeconds();

        var hora_cidade = ((((hora >12) ? hora -12 :hora) ) < 10 ? "0" : "") + ((hora >12) ? hora -12 :hora);
        hora_cidade += ((minuto < 10) ? ":0" : ":") + minuto;
        hora_cidade += ((segundo < 10) ? ":0" : ":") + segundo;
        hora_cidade += (hora >= 12) ? " PM" : " AM" ;

        // Lanca a data correta na pagina HTML.
        document.pseudoform.mostrador.value = data_cidade + hora_cidade;

        // Atualiza a cada segundo.
        contagemID = setTimeout("mostrarTempo (acerta)",1000);

        contagemAtivada = true;
}

function iniciar_relogio() {
	// Os parametros que representam a data sao colocados aqui pelo servidor;
	// O formato e: ano, mes, dia, hora, minuto, segundo.
	str = document.pseudoform.initial_date.value.split(' ');
	// Os meses no javascript comecam em zero...
	str[1]--;
	hora_inicial_cidade = new Date(str[0], str[1], str[2], str[3], str[4], str[5]);
	acerta=iniciaconta(hora_inicial_cidade);
    mostrarTempo(acerta);
}

// -->