throw { name: 'FatalError', message: 'Do not call this file. If you want to use it, remove this line.' }; function create_menu(basepath) { var base = (basepath == 'null') ? '' : basepath; document.write( '