0750 [Dow Jones] Tuesday's HK short-selling amount as percentage of market total at 7.4%, highest since huge HK market rally starting March 9; during rally this ratio typically hovered around or below 5%, yesterday's ratio spike, while only one piece of evidence, may suggest bearish view for...