' ' ( 10193 .)