HASH(0x7fee1a59ce20)