Johanss#n derstädes för 4,000 rdr , allt riksmynt.