HASH(0x7fee1f7f7d28)