document.write (" 6840 ");