5234 ) 3 , t42c