document.write('0752\n');