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("button01", "images/button/button01")
load_images("button02", "images/button/button02")
load_images("button021", "images/button/button02-1")
load_images("button022", "images/button/button02-2")
load_images("button023", "images/button/button02-3")
load_images("button03", "images/button/button03")
load_images("button04", "images/button/button04")
load_images("button05", "images/button/button05")
load_images("button06", "images/button/button06")
load_images("button07", "images/button/button07")
load_images("button08", "images/button/button08")