och uppgick då till 12 ,t