12311X2 ) ( 7 , 038 .)