17 , 831x3 .)