document.write('<form>');
document.write('<select name="URL" onChange="select_url(form.URL.options[selectedIndex].value)">');
document.write('<option value="../pages/dcwebinfo.shtml" selected>Document Console Navigator - Select An Option</option>');
document.write('<option value="../pages/dcwebinfo.shtml">Web-based Document Console Introduction</option>');
document.write('<option value="../pages/dcweb01.shtml">Web-based Document Console - In Depth</option>');
document.write('<option value="../pages/dcweb17.shtml">Web-based Document Handling: Overview</option>');
document.write('<option value="../pages/dcweb18.shtml">Web-based Document Handling: Adding New Documents</option>');
document.write('<option value="../pages/dcweb19.shtml">Web-based Document Handling: Appending Documents</option>');
document.write('<option value="../pages/dcweb06.shtml">The Query Function in our Web-based Edition</option>');
document.write('<option value="../pages/dcweb11.shtml">The Query Function in our Web-based Edition: After The Query...</option>');
document.write('<option value="../pages/dcweb02.shtml">The Document Console Interface in our Web-based Edition</option>');
document.write('<option value="../pages/dcweb07.shtml">Web-based Document Console Interface: Charts</option>');
document.write('<option value="../pages/dcweb12.shtml">Web-based Document Console Interface: Outline Window</option>');
document.write('<option value="../pages/dcweb15.shtml">Web-based Document Console Interface: Viewing Options</option>');
document.write('<option value="../pages/dcweb20.shtml">Web-based Document Console Interface: Working With DICOM files</option>');
document.write('<option value="../pages/dcweb03.shtml">Scanning In Document Console</option>');
document.write('</select>');
document.write('</form>');