document.write (" 8718 ");