document.write('<form>');
document.write('<select name="URL" onChange="select_url(form.URL.options[selectedIndex].value)">');
document.write('<option value="/pages/dcinfo.shtml" selected>Document Console Navigator - Select An Option</option>');
//document.write('<option value="/pages/dcinfo.shtml" selected>Document Console Navigator - Select An Option</option>');
document.write('<option value="/pages/dcinfo.shtml">Document Console Introduction</option>');
document.write('<option value="/pages/dc00001.shtml">Document Console - In Depth</option>');
document.write('<option value="/pages/dc00017.shtml">Document Handling: Overview</option>');
document.write('<option value="/pages/dc00018.shtml">Document Handling: Adding New Documents</option>');
document.write('<option value="/pages/dc00019.shtml">Document Handling: Appending Documents</option>');
document.write('<option value="/pages/dc00020.shtml">Document Handling: Working With Multiple Databases</option>');
document.write('<option value="/pages/dc00006.shtml">The Query Function</option>');
document.write('<option value="/pages/dc00011.shtml">The Query Function: After The Query...</option>');
document.write('<option value="/pages/dc00002.shtml">The Document Console Interface</option>');
document.write('<option value="/pages/dc00007.shtml">Document Console Interface: Charts</option>');
document.write('<option value="/pages/dc00012.shtml">Document Console Interface: Outline Window</option>');
document.write('<option value="/pages/dc00015.shtml">Document Console Interface: Viewing Options</option>');
document.write('<option value="/pages/dc00003.shtml">Scanning In Document Console</option>');
document.write('<option value="/pages/dc00004.shtml">Scanning in Document Console: What is Scanning?</option>');   
document.write('<option value="/pages/dc00008.shtml">Scanning in Document Console: Scanner Resolution</option>');
document.write('<option value="/pages/dc00010.shtml">Scanning in Document Console: Image Processing</option>');
document.write('</select>');
document.write('</form>');