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