HASH(0x7fedda6688a0)