13 7 / 2$.