document.write('0671\n');