s7 1 / 2 10 .)