document.write('6724 ');