function overgif(img,imgid) {
	document.getElementById(imgid).src = "images/" + img + "_over.gif";
}

function outgif(img, imgid) {
	document.getElementById(imgid).src = "images/" + img + ".gif";
}

function gallery_window(url, name, feature)
    {
    var new_window = window.open(url, name, feature);
    new_window.focus();
    }