12340 / 2 .)