HASH(0x7f5cde4d9af0)