HASH(0x7feda8ab0da8)