document.write(' 6719 ');