<!-- Begin
document.write('<option value="#TheTop">Jump to...</option>')
document.write('<option value="#AreaCode" TARGET="main">&nbsp; Area Code</option>')
document.write('<option value="#EngineeringSearch" TARGET="main">&nbsp; Engineering</option>')
document.write('<option value="#FindIt" TARGET="main">&nbsp; Find it</option>')
document.write('<option value="#International" TARGET="main">&nbsp; International</option>')
document.write('<option value="#LanguageTools" TARGET="main">&nbsp; Language</option>')
document.write('<option value="#MapDriving" TARGET="main">&nbsp; Maps</option>')
document.write('<option value="#People" TARGET="main">&nbsp; People</option>')
document.write('<option value="#Picture" TARGET="main">&nbsp; Pictures</option>')
document.write('<option value="#Reference" TARGET="main">&nbsp; Reference</option>')
document.write('<option value="#Shopping" TARGET="main">&nbsp; Shopping</option>')
document.write('<option value="#Sound" TARGET="main">&nbsp; Sounds</option>')
document.write('<option value="#TelephoneDir" TARGET="main">&nbsp; Telephone</option>')
document.write('<option value="#Time" TARGET="main">&nbsp; Time</option>')
document.write('<option value="#Video" TARGET="main">&nbsp; Video</option>')
document.write('<option value="#Windows" TARGET="main">&nbsp; Windows</option>')
document.write('<option value="#USPostOffice" TARGET="main">&nbsp; Zip Code</option>')
document.write('</Select>')
//  End -->