document.write('7781\n');