Found this heavy pointed brass weight in my dad’s old toolbox. It has a string attached. What is this?