function gotoDir(dir) {
	document.location="http://www.world-time-zones.org"+dir+"/"; }

function gotoPage(page) {
	document.location="http://www.world-time-zones.org/"+page+".htm"; }

function gotoCGI(page,param) {
	document.location="http://www.world-time-zones.org/cgi-bin/"+page+".cgi"+param; }

function gotoExt(site) {
	document.location=site; }

function gotoHat() {
	document.location="http://www.wight-hat.com/"; }

function gotoAaron() {
	document.location="http://www.aaronrudd.co.uk/"; }