* * ( 5242 )‘