document.write(10072);