document.write('<select name="droplist" onChange="javascript:trail(droplist.value);" style="font-family: Arial; font-size: 8pt">');
document.write('<option value="">-Select Search Option-</option>');
document.write('<option value="/websearch.html">Site Search</option>');
//document.write('<option value="/inside/university.html">Universities</option>');
//document.write('<option value="/inside/college.html">Colleges</option>');
//document.write('<option value="/more/techdb.html">Technology Database</option>');
//document.write('<option value="/inside/prof_directory.html">Professors Directory</option>');

document.write('</select>');