uppgick till cirka 17,000 pund , 159,000 riksmark och 65,000 francs , tillsammans omkring 495,000 kronor.