document.write('0471\n');