document.write('0976\n');