13139 + 3 .)