( 1 8 12)