( 12494 ) & gt;