13345 / 4 .)