HASH(0x7fee1a587ad8)