HASH(0x7f5cde63dee8)