document.write('0652\n');