HASH(0x7f5ce50c7128)