HASH(0x7fee1a583050)