<!-- HIDE FROM OLDER BROWSERS   
	   // If page is loaded in frames this kicks it out of the frames.
	   if (window != top) top.location.href = location.href;
	   
	   // * ----------------- Menu Functions ----------------------*
	   // * Control preloading of menu & image swapping in menu    *
	   
	   var button_names = new Array("home","story","news","catalog","order","contact","glossary","events","search","links","credits","viewcart");
	   var buttons;
	   
	   // Checks to see if buttons have already been preloaded
	   if (buttons == null) buttons = new Array();
	   
	   // Buttons which activate when the mouse moves over them are preloaded
	   for(i=0;i<button_names.length;i++){
		  buttons[i] = new Image(75,20);
		  buttons[i].src = "/pics/button-" + button_names[i] + "2.gif";
	   }
	   
	   // Buttons which activate when the mouse pushes them down are preloaded
	   for(i=0;i<button_names.length;i++){
		  buttons[i] = new Image(75,20);
		  buttons[i].src = "/pics/button-" + button_names[i] + "3.gif";
	   }
	   
	   // Images are swapped with other images (for the menu)
       function imgChange(imgName,imgSrc){
            document.images[imgName].src = imgSrc;
       }    
	   // STOP HIDING FROM OLDER BROWSERS -->