HASH(0x7fedca5d9940)