document.write('0232\n');