tillsammans utgöra 3,500 riksd.