( 1001 & gt;