$ 0 0 3,400. Well, that is only the number of surrendered PR-ships. There is also chucked out PRs that we need to consider