document.write('0651\n');