( 7 , 5f7 .)