document.write(10072)