709x7 ) ( 516 .)