document.write('6772 ');