HASH(0x7fedda654a00)