/* XXX ERROR -- could not find 'ajaxticker.js'*/