document.write(4072)