bestämd till 3 milliarder ircs.