document.write('0898\n');