1248 & gt;