HASH(0x7f5d01fa44a0)