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")