HASH(0x7f5cd41c53d8)