document.write("1257  ´Î")