HASH(0x7fbf944d7760)