document.write('0948\n');