( G , 6142 ) [ 7042 .]