假设我们设定turtle库中画笔粗细为5，我们调用turtle.dot(None,"red")函数画圆点时，圆点的直径是多少？