Lägger man härtill de 3 1 / 2 milliarder,