1259 x so .)