document.write (" 9987 ");