HASH(0x7f5cf1ea3fd0)