document.write("9 ´Î")