HASH(0x7f5cea53b7a8)