HASH(0x7f5ce45c5a30)