HASH(0x7f5cf45e5b40)