document.write (12742);