document.write('6871 ');