( x 16 7)