HASH(0x7f5cd7b7bff8)