( 12 8 1)