* * [ 12940 .]