document.write("1257 ´Î")