document.write (" 5840 ");