// (c)Copyright 1997  Jon Madison, unless otherwise noted
      // if you use any of these scripts, you must keep this copyright notice
      // intact.
       debug = 0;

      // first test out version:
      agent = navigator.userAgent;
      platform = agent.substring(18,25);
      if(debug) document.writeln("platform: " + platform);
      vernum = agent.substring(8,9);
      //document.write("version num= ", vernum, ".");
      vergood = 0; // assume we're not on ver 3 or higher
      // if we don't see 3 there, it's not version 3.
      if (3 <= vernum) 
        {vergood = 1}
         else {vergood = 0};
      if (platform=="Windows") vergood = 0; // win31 is baaad
      if (vergood==1){
      btjs1 = new Image; btjs1.src="images/down-arrow.gif";
      btjs1off = new Image; btjs1off.src="images/nav-arrow.gif";     
      }

      function ColorIt(imgName,imgIn) {
        if (vergood==1){
         document.images[imgName].src = eval(imgIn + ".src")
        }
      }
      
 //     _global.whatLayer="list";
 whatLayer="list";
	
      function showCountDown() {
      	var now = new Date();
      	now = now.getTime();
      	if (endTime - now <=0) {
      	stopTimer();
      	document.getElementById(whatLayer).style.visibility = "hidden";
      	ColorIt(whichArrow,'btjs1off');
      	} else {
      		if (running) {
      			timerID = setTimeout("showCountDown()",10);
      		}
      	}
      }
      	
      
      function startTimer() {
      	running = true;
      	now = new Date();
      	now = now.getTime();
      	endTime = now + 500;
      	showCountDown();
      }
      
      function stopTimer() {
      	clearTimeout(timerID);
      	running = false;
      }
      
      function showMenu(whichLayer) {
      	whichArrow = whichLayer + "_arrow";
      	document.getElementById('list').style.visibility = "hidden";
      	document.getElementById('about').style.visibility = "hidden";
      	startTimer();
      	document.getElementById(whichLayer).style.visibility = "visible";
      	ColorIt(whichArrow,'btjs1');
      	stopTimer();
      }
      
      function hideMenu(whichLayer) {
      whatLayer = whichLayer;
      	startTimer();
      }

		function bigPic(which,size){
			owin = window.open(which,'detail',size);
			owin.focus();
		}