HASH(0x7fedda6519b8)