// Image swapping for the menu. This is a backup for browsers than support javascript
				// but don't support our popup menu implementation. The menu still has mouseover 
				// interactive elements, but won't pop-up. By sticking these images behind the
				// layers-based popup menu, they will be invisible to users for whom the pop-up
				// implementation works, and available to those users who would otherwise not
				// see any menu at all.
				
				// This script is intended to be included in the head of a page, since the preload
				// function should be called at the start of the body, and the navigatorKludge should
				// be called before the page is ever displayed.
		
				// Navigator 4 doesn't reload after a page resize, causing problems for mouseover 
				// images.
				function navigatorKludge(init) {  
					// the first time this is called
  					if (init==true) with (navigator) {
  						if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
  							// record page size
    						document.pagewidth=innerWidth; 
    						document.pageheight=innerHeight; 
    						// setup callback
    						onresize=navigatorKludge; 
    					}
    				}
    				// if the page size doesn't match the recorded size, reload.
  					else if (innerWidth!=document.pagewidth || innerHeight!=document.pagewidth) 
  						location.reload();
				}
				// call navigator reload on start to set up for later reloads
				navigatorKludge(true);
			// -->
				// restore an image on mouseoff
				function restore() {
  					var i,x,sources=document.source_storage; 
  					if(sources) {	
  					for(i=0;i<sources.length;i++) 
  						x=sources[i];
  						if(x!=null&&x.origSrc!=null)
  							x.src=x.origSrc;
  						else
  							i = sources.length;
  					}
				}
				
				// require images to be loaded before rendering page
				// (Images should thus be kept small, to avoid irritating users)
				// usage is preloadImages('img1.gif','img2.gif',...,'imgn.gif')
				function preload() {
  					if(document.images){
  						var i, j, args=preload.arguments;
  						// if the image collection doesn't already exist 
  						// (if this load of page is not a reload) then initialize the array.
  						if(!document.img_coll) 
  							document.img_coll=new Array();
    					j=document.img_coll.length;
    					for(i=0; i<args.length; i++)
    							document.img_coll[j]=new Image; 
    							document.img_coll[j++].src=args[i];
    					}
				}

				// run document to find named element (note that this recurs)
				// top call scans main document, others scan different layers
				function find(name, d) {
  					var i,x;  
  					if(!d) 
  						d=document;
  					x = d[name];
  					if(x==null&&d.all) 
  						x=d.all[name]; 
  					if(x==null) {
  						for (i=0;i<d.forms.length;i++) 
  							x=d.forms[i][name];
  					}
  					if(x==null && d.layers) {
  						for(i=0;i<d.layers.length;i++) 
  							x=find(name,d.layers[i].document);
  					}
  					if(x==null && document.getElementById) 
  						x=document.getElementById(name);
  					// if we still don't have it, give up. 
  					return x;
				}
				
				// usage swapImage(element_name, swap_image_url)
				// swaps the named element for the image at the given url, and
				// stores the source of the original image. Intended to be called
				// on mouseOver
				function swap() { 
  					var i,j=0,x,args=swap.arguments; 
  					document.source_storage=new Array; 
   					if ((x=find(args[0]))!=null){
   						document.source_storage[j++]=x; 
   						if(!x.origSrc) 
   							x.origSrc=x.src; 
   						x.src=args[1];
   					}
				}