document.write('7744\n');