HASH(0x7f5cf054e150)