document.write('7746\n');