document.write(12040);