That's how Jocks laugh. It's pronounced 'Haaaaaaaaaaaaaaaaa!'.
(
Jabberwoc misses D.R. and Quinch,
Fri 9 Sep 2016, 22:10,
archived)
I feel better now :D
(
lustreboy making himself laugh since 1973 (tm),
Sat 10 Sep 2016, 10:39,
archived)