document.write (6712);