// THIS JAVASCRIPT SOURCE CONTAINS FUNCTIONS FOR ROLLOVER EFFECTS


// ROLLOVER replaces specified image with new image for rollover effect
function rollover(imgname, imgsrc) { 
    document.images[imgname].src = imgsrc;
}