11.254 , X 1 .)