document.write('7724\n');