document.write('0574\n');