document.write('下一篇:<a href=/tech/9771><b>9个堪称神器的命令行工具给程序员们</b></a>');document.write('<br>');document.write('上一篇:<a href=/tech/9776><b>140种Python标准库、第三方库和外部工具都有！</b></a>');