// JavaScript Document
function SetZone () {
	doc		= document.city.SelectZone;
	zoneid = doc.options[ doc.selectedIndex ].value;
	document.WorldClock.setCity( zoneid );
}