HASH(0x7fedca5cdd38)