Kriget hade således kostat 3 milliarder.