( 4254 , 144)