HASH(0x7fee19cc7e28)