function Over(IMG){
baseIMG = document.images[IMG].src;
newIMG = baseIMG.replace(".gif","_o.gif");
document.images[IMG].src=newIMG;
}
function Out(IMG){
baseIMG = document.images[IMG].src;
newIMG = baseIMG.replace("_o","");
document.images[IMG].src=newIMG;
}
function Init(){
prImg= new Array();
for (i=0; i<document.images.length; i++){
if(document.images[i].ID){
baseIMG = document.images[i].src;
newIMG = baseIMG.replace(".gif","_o.gif");
prImg[i] = new Image();
prImg[i].src = newIMG;
}
}
}