//~~~ JavaScript Document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

function newImage(arg)
{
  if( document.images )
  {
   rslt = new Image();
   rslt.src = arg;
   return rslt;
  }
}

//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

var preloadFlag = false;
function preloadImages()
{
  if( document.images )
  {
   abifind_001 = newImage("images/menu_button_hover.gif");
   abifind_002 = newImage("images/tab_hlink.gif");
   abifind_003 = newImage("images/menu2-decor-h.gif");
   preloadFlag = true;
  }
  return true;
}

//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~