11 , 237X1 .)