document.write (12840);