12 1 / 2 tt .)