HASH(0x7f5ceb7a4e00)