My JavaScript is a strange mix of 1999 style plus Ajax. But it works.