document.write (" 12840 ");