document.write('6706\n');