document.write('0496\n');