( 1259 , 23;