0x3fde1f53