John Hawkins on Whing Ding