( 0.2529 x3 .)