document.write("712  ´Î")