\ ( 10422 .)