[ ( 10312 .)