var Img = new Array()
function load_images(name, dateiname)
{
  Img[name]               = new Array(2)
  Img[name]["normal"]     = new Image()
  Img[name]["normal"].src = dateiname + ".gif"
  Img[name]["high"]       = new Image()
  Img[name]["high"].src   = dateiname + "_high.gif"
}
function show_image(name, x)
{
  document[name].src = Img[name]["high"].src
}
function hide_image(name)
{
  document[name].src = Img[name]["normal"].src
}
load_images("button1", "/images/button/button01")
load_images("button2", "/images/button/button02")
load_images("button3", "/images/button/button03")
load_images("button4", "/images/button/button04")
load_images("button5", "/images/button/button05")
load_images("button6", "/images/button/button06")
load_images("button7", "/images/button/button07")
load_images("button8", "/images/button/button08")
load_images("button9", "/images/button/button09")
load_images("button10", "/images/button/button10")
load_images("button11", "/images/button/button11")
load_images("button12", "/images/button/button12")
load_images("button13", "/images/button/button13")
load_images("button14", "/images/button/button14")
load_images("button15", "/images/button/button15")
load_images("button16", "/images/button/button16")
load_images("button17", "/images/button/button17")
load_images("button18", "/images/button/button18")