document.write (12707);