document.write (12040);