) 1259 i .. 20 & lt;