11241 x s .)