var datafile="UnicodeData.txt";
arrayline = new Array();
var tmparray = new Array();
var unicode_array = new Array();
// code for Mozilla, etc.
if (window.XMLHttpRequest) {
	xmlhttp=new XMLHttpRequest()
}
// code for IE
else if (window.ActiveXObject) {
	xmlhttp=new ActiveXObject("Microsoft.XMLHTTP")
}
xmlhttp.open("GET",datafile,false);
xmlhttp.send(null);
unicode_array = xmlhttp.responseText.split("\r\n");
for(var i = 0; i < unicode_array.length; i++) {
	tmparray = unicode_array[i].split(";");
	arrayline[h2d(tmparray[0])] = tmparray[1];
}