//preload header images
var nav_names = new Array("home", "the_band", "news", "gig_pics", "contact", "music");
var c = nav_names.length, i = 0, nav_over = new Array(c), nav_off = new Array(c), infobar = new Array(c);

while (i < c) {
 nav_over[i] = new Image();
 nav_over[i].src = "/images/nav_" + nav_names[i] + "_over.png";
 nav_off[i] = new Image();
 nav_off[i].src = "/images/nav_" + nav_names[i] + ".png";
 i++;
}
// imageswap functions
function over(x) {document[nav_names[x]].src = nav_over[x].src;}
function out(x) {document[nav_names[x]].src = nav_off[x].src;}