document.write('99012\n');