document.write('0145\n');