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

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

function gotoPage(page) {
	document.location="http://www.wight-hat.com/"+page+".html"; }

function gotoCGI(page) {
	document.location="http://www.wight-hat.com/cgi-bin/"+page+".cgi"; }