var images = new Array()

images[0] = new Image(250,17)
images[0].src = "images/nav_home.gif"

images[1] = new Image(250,17)
images[1].src = "images/nav_home_y.gif"

images[2] = new Image(250,17)
images[2].src = "images/nav_class.gif"

images[3] = new Image(250,17)
images[3].src = "images/nav_class_y.gif"

images[4] = new Image(250,17)
images[4].src = "images/nav_faq.gif"

images[5] = new Image(250,17)
images[5].src = "images/nav_faq_y.gif"

images[6] = new Image(250,17)
images[6].src = "images/nav_about.gif"

images[7] = new Image(250,17)
images[7].src = "images/nav_about_y.gif"

function set_image(target, i)
{
  document.getElementById(target).src = images[i].src;
}