function mistwait() {
	changeOpac(0);
	setTimeout("mistify()", 3000); }
function mistify() {
	for (i= 0; i <= 70; i += 5) {
   	 setTimeout("changeOpac(" + i + ")", i*20); }}
function changeOpac(opacity) { //opacity= 0 to 100%
	var object = document.getElementById("misty").style;
	object.opacity = (opacity / 100); //CSS3 standard
	object.MozOpacity = (opacity / 100); //old mozilla
	object.KhtmlOpacity = (opacity / 100); //old gecko
	object.filter = "alpha(opacity=" + opacity + ")"; } //IE only
function showit(which) {
	var newobject = document.getElementById(which).style;
	var oldobject = document.getElementById(currentshow).style;
	oldobject.display= "none";
	newobject.display= "block";
	currentshow= which; }
function showname(which, what) {
	var object = document.getElementById(which).style;
	if (what == 0) object.display= "none";
	else object.display= "block"; }
var shiftflag= 0;
function shiftit() {
	if (shiftflag == 0) shiftin();
	else shiftout(); }
function shiftin() {
	shiftflag= 1;
	for (i= 0; i <= 345; i += 5) {
    	setTimeout("mapiset(" + i + ")", i*2); }}
function shiftout() {
	shiftflag= 0;
	for (i= 0; i >= -345; i -= 5) {
		var wherex= i+345;
    	setTimeout("mapiset(" + wherex + ")", i*-2); }}
function mapiset(where) {
	var mapi = document.getElementById("themap").style;
	mapi.left= where-320 + "px";
	var clipx= 345-where;
	mapi.clip= "rect(0px,auto,auto," + clipx + "px)"; }