function formatWithOffset(offset) {
			var time = new Date();

			time.setTime(time.getTime() + offset*60*60*1000);
			h = time.getUTCHours();
			h=((h < 10) ? "0" : "") + h;
			m = time.getUTCMinutes();
			m=((m < 10) ? "0" : "") + m;
			s = time.getUTCSeconds();
			s=((s < 10) ? "0" : "") + s;

			return(h + ':' + m + ':' + s);
		}

		function setWorldTimes() {

			var time = new Date()
			var DSTOffser;

			tsoffset = time.getTimezoneOffset();

DSTOffset=1;
			document.getElementById("londonTime").innerHTML = formatWithOffset(-1+DSTOffset);


			timer = setTimeout("setWorldTimes()",1000);

			return true;
		}

	function quickSearchOnFocus(obj) {
	}