document.write (" 10874 ");