function submitForm( formName ) {
	document.forms[formName].submit();
}

function gotoURL( oid ) {
	document.location.href = oid.getElementsByTagName("a").item(0);
}

function changeCSSClassByID( oid, class_name ) {
	oid.className = class_name;
}

function swapClass( oid ) {
	swapClass( oid, false );
}

function swapClass( oid, cursorChangeFlag ) {
	oidLen = oid.className.length;
	oidLChar = oid.className.substring( oidLen-1 );

	if( oidLChar == "S" ) {
		currentOID = oid;
		return; // changeCSSClassByID( oid, "priNavS" );
	} else if( oidLChar == "M" ) {
		changeCSSClassByID( oid, "priNav" );
	} else {
		changeCSSClassByID( oid, "priNavM" );
	};
}