I am going to go with that. The original owner doesn’t remember, but he worked at a music shop at the time and so they would have been whatever was cheap.
May I ask about one more?
These are yellow silk at both ends, steel ball, roundwound with (I think) a round core. 105-85-70-50. Nothing in...