0x7fecffff
