HASH(0x7fee1a594e50)