   function change_image(image_id, new_image) { if (document.layers) { if (document.layers['iltopnav_id']) { document.layers['iltopnav_id'].document.layers['ltopnav_id'].document.layers['iltablenav_id'].document.layers['ltablenav_id'].document.layers['ilnav_id'].document.layers['lnav_id'].document.images[image_id].src = new_image;} else { document.layers['ilnav_id'].document.layers['lnav_id'].document.images[image_id].src = new_image; } } else if (document.images) { document[image_id].src = new_image; } } 
