function doRollover(imageID, imageSource) {
document.getElementById(imageID).src=imageSource;
}