o ( 8523 .]