document.write('0967\n');