document.write('6722\n');