( 4254 , 144>