så att premiesumman skulle stiga från 12,500 kr.