document.write (" 9984 ");