of a receiver