function remove()
{
	var elm = document.form2.selectedOperator;
	var Cnt = elm.options.length;
	var delCnt = 0;
	var j=0;
	var	unSelectedOptions=new Array(Cnt);
	for (var i = 0;i<Cnt;i++) 
	{
		if (elm.options[i].selected)
		{
			delCnt++;			
		}else
		{
			unSelectedOptions[j++]=new Option(elm.options[i].text,elm.options[i].value);
		}
	}
	elm.options.length-=delCnt;
	for (var i=0;i<elm.options.length;i++) 
	{
		elm.options[i]= new Option(unSelectedOptions[i].text,unSelectedOptions[i].value);
	}
}

function changepos(obj,index)
{
	var i;
	var opt;
	if(index==-1){
		for (i=0; i < obj.options.length; i++){
			if (obj.options[i].selected == true){
				if (i>0){
					obj.options(i).swapNode(obj.options(i-1));
				}
			}
		}
	}else if(index==1){
		for (i=obj.options.length-1; i >=0 ; i--){
			if (obj.options[i].selected == true){
				if (i<obj.options.length-1){
					obj.options(i).swapNode(obj.options(i+1));
				}
			}
		}
	}
}

function transformSymbol(str)
{
	var	ret = str.replace(/\>/g,"&gt;").replace(/\</g,"&lt;");
	//		alert("ret: "+ret);
	return ret;
}

function transformToSymbol(str)
{
	var ret = str.replace(/&lt;/g,"<").replace(/&gt;/g,">").replace(/&quot;/g,"'");
	return ret;
}