function create_menu(basepath) { var base = (basepath == 'null') ? '' : basepath; document.write( '' + '
' + '' + '

Basic Info

' + '' + '

Installation

' + '' + '

Introduction

' + '' + '
' + '

General Topics

' + '' + '
' + '

Class Reference

' + '' + '
' + '

Helper Reference

' + '' + '

Additional Resources

' + '' + '
'); }