0x3823...80ae