document.write('6719 ');