13139 / 5 .)