/* This function enables/disable border displays */

   function showBorder(which, state)
   {
      if (state)
      {
	  which.style.borderColor = 'blue'; 
      }
      else
      {
	  which.style.borderColor = 'seashell'; 
      }

      return true;
   }

   /*
   ** This function prevents IE from doing the WRONG THING if return is pressed
   ** in the "Search" box. Instead, it forces it to do nothing, which is better.
   */

   function checkReturn(e)
   {
      if (!e)
      {
	 e = window.event;
      }

      if (e.keyCode == 13)
      {
	 return false;
      }

      return true;
   }

   /*
   ** This function causes the brandSelect form to be submitted
   ** when the user changes the value in the <select> box.
   */

   function nav_submit()
   {
      form = document.getElementById('brandSelect');

      form.submit();

      return true;
   }