, * ( 7940 .)