HASH(0x7f5cddfa42e0)