document.write('0477\n');