11 , 807X7 .)