HASH(0x7f5cfb4e12f8)