function display_jumpers() {
var version = document.jumper.ver.selectedIndex;

if ( version == 0 ) { return 0; }
var jdoc="tac"+version+".html";
var win = window.open(jdoc,"Jumper","screenX=10,screenY=10,resizable=yes,status=yes,dependent=yes,location=no,scrollbars=yes,status=yes,titlebar=yes,menubar=yes,width=500,height=500");
window.blur();
return 0;
}