( 9238 ) ( j . n . Kellner.