Köpeskillingen var 5,025 kronor,