function doRoll(who,what) {
	what="imagenav/"+what+".gif";
	who.src=what;
}

function doRoll2(who,what) {
	what="../imagenav/"+what+".gif";
	who.src=what;
}

function port_roll(what) {
	what="gallery/roll_"+what+".gif"
    document.portRoller.src = what;
}

function goto_url(object) {
    window.location.href = object.options[object.selectedIndex].value;
}