document.write (6707);