document.write (" 19840 ");