uppgick till cirka 12,600 pund , 603,000 riksmark , 20,500 francs , tillsammans omkring687 , 000 kronor.