7 , 871 / 2 .)