HASH(0x7fedda60df38)