document.write (6717);