if (document.images) {      //Start the array of the images for the Navigation buttons 
var num_images = 8;
var image_on_array = new Array(num_images);
var image_off_array = new Array(num_images);

image_on_array[0] = new Image(71,13)
image_on_array[0].src = "/images/StreetLevel_on.gif"
image_off_array[0] = new Image(71,13)
image_off_array[0].src = "/images/StreetLevel_off.gif"

image_on_array[1] = new Image(71,13)
image_on_array[1].src = "/images/SecondFloor_on.gif"
image_off_array[1] = new Image(71,13)
image_off_array[1].src = "/images/SecondFloor_off.gif"

image_on_array[2] = new Image(71,13)
image_on_array[2].src = "/images/ThirdFloor_on.gif"
image_off_array[2] = new Image(71,13)
image_off_array[2].src = "/images/ThirdFloor_off.gif"

image_on_array[3] = new Image(71,13)
image_on_array[3].src = "/images/ViewMap_on.gif"
image_off_array[3] = new Image(71,13)
image_off_array[3].src = "/images/ViewMap_off.gif"

image_on_array[4] = new Image(71,13)
image_on_array[4].src = "/images/ContactUs_on.gif"
image_off_array[4] = new Image(71,13)
image_off_array[4].src = "/images/ContactUs_off.gif"

image_on_array[5] = new Image(71,13)
image_on_array[5].src = "/images/Home_on.gif"
image_off_array[5] = new Image(71,13)
image_off_array[5].src = "/images/Home_off.gif"

image_on_array[6] = new Image(134,13)
image_on_array[6].src = "/images/Construction_on.gif"
image_off_array[6] = new Image(134,13)
image_off_array[6].src = "/images/Construction_off.gif"

image_on_array[7] = new Image(134,13)
image_on_array[7].src = "/images/Amenities_on.gif"
image_off_array[7] = new Image(134,13)
image_off_array[7].src = "/images/Amenities_off.gif"

}

function rollover(num,str) {     //The two functions for onMouseOver and onMouseOut for the Navigation buttons
  if (document.images) {
    document.images[str].src = image_on_array[num].src;
  }
}
function rollout(num,str) {
  if (document.images) {
    document.images[str].src = image_off_array[num].src;
  }
}