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