Kriget ensamt hade kostat det tre milliarder,