HASH(0x7fedce694550)