cirka 13,150 pund och 23,000 riksmark , tillsammans omkring 258,000 kronor.