HASH(0x7fede1ca99a8)