////
// this here is the image swap code
function overImg(o_img) {
  ////
	// replace the source path with the path of the highlighted
	// image
  o_img.src = "./images/" + o_img.name + "-over.gif";
}
function outImg(o_img) {
  ////
	// replace the highlighted image with the original image
  o_img.src = "./images/" + o_img.name + ".gif";
}
function preloadMenu() {
  ////
	// setup array of image objects
	ar_images = new Array;
	for(i=0;i<6;i++) {
	  ar_images[i] = new Image;
	}
	////
	// load each image object with the menu's "over" images
  ar_images[0].src = "./images/contact-over.gif";
  ar_images[1].src = "./images/home-over.gif";
  ar_images[2].src = "./images/personnel-over.gif";
  ar_images[3].src = "./images/profile-over.gif";
  ar_images[4].src = "./images/rigs-over.gif";
  ar_images[5].src = "./images/benifits-over.gif";
}