ted = 0;

function freshen() {
  if (ted++ > 10000) { ted = 0; }  
  var ticker = document.getElementById('ticker');
  ticker.data = '/lib/ad-b.php';
  ticker.innerHTML = '<span class="textad">'+adtime()+'</span>';
}


function adtime() {
    Today = new Date();
    raw = Date.parse(Today.toGMTString())/1000;
    spm = 60;
    sph = 60*spm;
    spd = 24*sph;
    raw -= spm*Today.getTimezoneOffset();  // compensate for time zone
//    if (((Today.getMonth() == 4) && ((Today.getDay()-Today.getDate()) < 0)) || ((Today.getMonth() == 10) && ((Today.getDate()-Today.getDay()) < 25)) || ((Today.getMonth() > 4) && (Today.getMonth() < 10)))
//	raw=raw+3600; //compensate for accursed dst
    day = Math.floor(raw/spd);
    raw -= day*spd;
    hour = Math.floor(raw/sph);
    if (hour<10)
	hour = '0'+String(hour);
    raw -= Number(hour)*sph;
    min = Math.floor(raw/spm);
    if (min<10)
	min = '0'+String(min);
    return (String(day+154)+String(hour)+String(min));
}

function showtime() {
    document.tick.tock.value = adtime();
}

//ticking = setInterval('freshen()',5000)

//ticking = setInterval('showtime()',1000);