document.write('0673\n');