document.write('0547\n');