1 / 2 12 s « .)