4 , 42 * ) ; 7 , 20 * );