function OutGif(imgSrc) {
document.images[imgSrc].src = "images/"+ imgSrc + ".gif";
}

function OverGif(imgSrc) {
document.images[imgSrc].src = "images/"+ imgSrc + "_ov.gif";
}

function OutJpg(imgSrc) {
document.images[imgSrc].src = "images/"+ imgSrc + ".jpg";
}

function OverJpg(imgSrc) {
document.images[imgSrc].src = "images/"+ imgSrc + "_ov.jpg";
}

function popup(theURL,winName,features) {
window.open(theURL,winName,features);
}