document.write (9712);