HASH(0x7fedc25b8690)