document.write("/æ/");