function setSelection (targetLang) {
	SelectObj = document.getElementById(globSelectBoxID);
	for (i = 0; i < SelectObj.length; i++)
	{
    	SelectObj.options[i].selected = (SelectObj.options[i].value==targetLang);
	}
	return targetLang;
}
function makeSelection(targetLang)
{
	document.getElementById(globSelectBoxID).disabled = true;
	tx_nmmntranslite_pi2setSelection(targetLang);
}
function activateSelection()
{
	// activate the select box, or, if delay=-1, NO activation!
	switch(globactivationDelay)
	{
		case 0:
			setActivationState(true);
	        break;
		case -1:
			break;
	    default:
	    	setActivationStateWithDelay(true,globactivationDelay);
	}
}
function setActivationStateWithDelay(state,delay){setTimeout("setActivationState("+state+");",delay);}
function setActivationState(state) {document.getElementById(globSelectBoxID).disabled = !state;}
function setCurLang(lang) {globCurrentLang = lang;}