HASH(0x7f5cadef67e8)