document.write (" 9867 ");