( 6942 ) .*