HASH(0x7f5cfc53d0d0)