<!--
if (document.images) {
  bar = new Image
  slider = new Image

  bar.src = "images/bar.gif"
  slider.src = "images/slider.gif"
}
else {
  bar = "";
  slider = "";
  document.bar = "";
  document.slider = "";
}
// -->