请解释一下「石九公」这个词的含义。