( 4942 ; { X ).