' / 2 12 {.