<!-- 
function doPreload()
{
var the_images = new Array('nav_01.gif','nav_02.gif',
'nav_03.gif','nav_05.gif','nav_06.gif');
preloadImages(the_images);
}
function preloadImages(the_images_array) {
for(var loop = 0; loop < the_images_array.length; loop++)
{
var an_image = new Image();
an_image.src = the_images_array[loop];
}
}
var image_name="nav_01"
function image_on(image_name) {
document.images[image_name].src = image_name + ".gif"
}
function image_off(image_name) {
document.images[image_name].src = image_name + ".gif";
}
// -->