/* This code does some stuff. It's nasty, but someday I'll make it better. */

   if (document.images) {
	var homeyes = new Image();
	homeyes.src = "images/home-sel.gif";
	var homeno = new Image();
	homeno.src = "images/home.gif";

	var productyes = new Image();
	productyes.src = "images/product-sel.gif";
	var productno = new Image();
	productno.src = "images/product.gif";

	var orderyes = new Image();
	orderyes.src = "images/order-sel.gif";
	var orderno = new Image();
	orderno.src = "images/order.gif";

	var xmlyes = new Image();
	xmlyes.src = "images/xml-sel.gif";
	var xmlno = new Image();
	xmlno.src = "images/xml.gif";

   }
   // I'm addicted to rollovers.
   function active(imgName) {
      if (document.images) 
         document[imgName].src = eval(imgName + 'yes.src')
   }
   function inactive(imgName) {
      if (document.images)
         document[imgName].src = eval(imgName + 'no.src')
   }