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