document.write (" 7987 ");