function ConvertFont(str){
		if (str.length > 0){
			var sourcestr,desstr,tempstr;
		var n;
		var pos;
		pos = 0;
		nIndex = 0;
		sourcestr = str;
		desstr = '';
		do{
		 if((sourcestr.substr(pos,1)=="&")&&(sourcestr.substr(pos+1,1)=="#")){
			 nIndex = sourcestr.indexOf(";",pos);
			 tempstr = sourcestr.substr(pos+2,nIndex-(pos+2));
			 desstr = desstr + String.fromCharCode(parseInt(tempstr));
			 pos = nIndex;
		 }
		 else
			desstr = desstr + sourcestr.substr(pos,1);
			pos = pos + 1;
		}
		while (pos < sourcestr.length);
		}
		return(desstr);
	}