button1up = new Image; button1up.src = "Images/Controls/ESTVHome.gif";
button1down = new Image; button1down.src = "Images/Controls/ESTVHomea.gif";     

button2up = new Image; button2up.src = "Images/Controls/ESTV1013.gif";     
button2down = new Image; button2down.src = "Images/Controls/ESTV1013a.gif";     


 function MouseOverRoutine(ButtonName) 
{ 

if 
(ButtonName=="button1") {document.button1.src = button1down.src;} 
else  if   (
ButtonName=="button2")   {document.button2.src = button2down.src;} 

  } 


 

function MouseOutRoutine(ButtonName) 
{ 
if 
(ButtonName=="button1")  {document.button1.src = button1up.src;}  
else  if  
(ButtonName=="button2")   {document.button2.src = button2up.src;} 

 }