HASH(0x7f5cc3c8e8d0)