HASH(0x7fee1c5afd28)