今天捡到一个这个，这是一个什么东西，有人知道吗？？石头做的，别人说是磨剪刀用的，有什么用？？