document.write (12702);