( 19 , 7b3 .)