var preloads = [
"about2",
"products2",
"maintenance2",
"portfolio2",
"careers2",
"news2",
"request2",
"contact2",
"catalog2",
"bar_about",
"bar_products",
"bar_maintenance",
"bar_portfolio",
"bar_careers",
"bar_news",
"bar_request",
"bar_contact",
"about3",
"products3",
"maintenance3",
"portfolio3",
"careers3",
"news3",
"request3",
"contact3",
"catalog3"
];

function pad(s, length, right_justify)
{
  if(typeof(s) == "number")
    s += "";
  while(s.length < length) {
    if(right_justify)
      s = " " + s;
    else s += " ";
  }
  return(s);
}

function mouseover(element)
{
  element.src = "graphics/_" + element.id + "2.gif";
  if(element.id != "home")
    document.getElementById("bar").style.backgroundImage = "url('graphics/_bar_" + element.id + ".gif')";
}

function mouseout(element)
{
  element.src = "graphics/_" + element.id + ".gif";
  if(element.id != "home")
    document.getElementById("bar").style.backgroundImage = "url('graphics/_bar.gif')";
}

function mouseclick(element)
{
  location.href = (element.id == "home"?"index":element.id) + ".html";
}

function initialize()
{
  var preloaded = new Array(preloads.length);
  for(i = 0; i < preloads.length; i++) {
    preloaded[i] = new Image();
    preloaded[i].src = "graphics/_" + preloads[i] + ".gif";
  }
}