12 7 / 2$.