då de uppgingo till 7 , 513 , 415 kr.