function decode_to_8bit(txt){

	res="";
	for(var i=0;i<txt.length;i++){
		cc=txt.charCodeAt(i);
		if(cc>255)
			cc-=848;
		res+=String.fromCharCode(cc);
	}
	return res;
}