document.write("9993 ´Î")