document.write('7752\n');