document.write (" 5984 ");