HASH(0x7fede26da2d8)