* * [ 12232 .]