document.write('0237\n');