o ( 12117 .)