( 12 39 & gt;