document.write('0646\n');