( 6640 , 143;