document.write('52501\n');