gjuteri , obetydligt begagnad , till 12 kronor.