HASH(0x7fedda588c90)