document.write('0989\n');