app="'";
loaded=false;
if (document.images) {

menu1on = new Image();
menu1on.src="enteron.gif";



menu1off = new Image();
menu1off.src="enteroff.gif";

}
function changeImages() {
if (document.images) {
for (var i=0; i<changeImages.arguments.length; i+=2) {
document[changeImages.arguments[i]].src = eval
(changeImages.arguments[i+1] +".src");
 }  }}

 
 
 function roll_over(img_name, img_src)
   {
   document[img_name].src = img_src;
   }