HASH(0x7f5cd43e43b0)