[ 7523 ] c.