function go()
{
	box = document.forms[0].navselect;
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}

function popUp(strURL,strType,strHeight,strWidth) {
var windowLeft = (screen.width - strWidth) / 2;
var windowTop = (screen.height - strHeight) / 2;
var strOptions="";
if (strType=="console") strOptions="resizable,height="+strHeight+",width="+strWidth+",top="+windowTop+",left="+windowLeft;
if (strType=="fixed") strOptions="status,scrollbars,height="+strHeight+",width="+strWidth+",top="+windowTop+",left="+windowLeft;
if (strType=="elastic") strOptions="toolbar,menubar,scrollbars,resizable,location,height="+strHeight+",width="+strWidth+",top="+windowTop+",left="+windowLeft;
window.open(strURL, 'newWin', strOptions);
}


function numbersonly(myfield, e, dec)
{
var key;
var keychar;
if (window.event)
key = window.event.keyCode;
else if (e)
key = e.which;
else
return true;
keychar = String.fromCharCode(key);
// control keys
if ((key==null) || (key==0) || (key==8) ||
(key==9) || (key==13) || (key==27) )
return true;
// numbers
else if ((("0123456789").indexOf(keychar) > -1))
return true;
// decimal point jump
else if (dec && (keychar == "."))
{
myfield.form.elements[dec].focus();
return false;
}
else
return false;
}