document.write('0890\n');