HASH(0x7fee30540b80)