rem: setTimeout("dateobj=-1;document.location=document.location", 20000); 
add: setTimeout("dateobj=-1;refreshPage();", 20000); 
context: function countdown(value) {		// all this is done because setTimeout 1000, isn't really a second in js	if (dateobj == -1) {		dateobj = new Date();		dhours = dateobj.getUTCHours();		dmins = dateobj.getUTCMinutes();		dsecs = dateobj.getUTCSeconds();		// refresh automatically every 20 secs.		setTimeout("dateobj=-1;document.location=document.location", 20000);	}	dateobj2 = new Date();	var hours_now = dateobj2.getUTCHours();	var mins_now = dateobj2.getUTCMinutes();	var secs_now = dateobj2.getUTCSeconds();	// difference (assume no number is more that an hour :)		msecs = ((hours_now == dhours ? 0 : 1) * 60 * 60 +		(mins_now - dmins) * 60 +		(secs_now - dsecs)) * 1000;	diff = value * 1000 - msecs;	tdo = new Date(diff);	rhours = tdo.getUTCHours();	rmins = tdo.getUTCMinutes();	rsecs = tdo.getUTCSeconds();	var hours_str = (rhours == 0 ? "" : (rhours < 10 ? "0" + rhours : rhours) + ":");	var mins_str = rmins < 10 ? "0" + rmins : rmins;	var secs_str = rsecs < 10 ? "0" + rsecs : rsecs;	getById("countdown").innerHTML = hours_str + mins_str + ":" + secs_str;	setHeaders();	if (diff > 0) {		setTimeout("countdown(" + value + ");", 500);	} else {		getById("countdown").innerHTML = "00:00";		// go refresh this page		document.location = document.location;	}}
meta: 233	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/233/1e220a9a9c57eb1d6003e2fd4cff59f399b1580d/main.js/buggy/src/scripts/webcontrol/main.js