20225 x 3 ) ( 8254 .)