( 6 , 3.15 .)