document.write("/ð/");