在Windows中用python3.6.0实现ping

我是个懒人，看了很多这样的文章，照搬代码有时还不管用，自己写了下，也就五六行的事，不多说上代码.

import os
def main():
    k = input()
    os.system('ping '+k)
if __name__ == "__main__": 
    while True: 
        main()

这里我还加了一个循环，以防一次次运行脚本过于麻烦，或编成exe时每次执行都要等五六秒，节省一下时间。