( 7 , * 42 .)