( 4242 . )'