rem: dest = document.getElementById("browsemode").options[browseind].value; if (dest) { last_browse_mode = dest; browseurl(unescape(dest)); 
add: if (document.getElementById("browsemode").options[browseind]) { last_browse_mode = document.getElementById("browsemode").options[browseind].value; browseurl(unescape(last_browse_mode)); 
context: function gobrowseindex(browseind, searchind) {	dest = document.getElementById("browsemode").options[browseind].value;	if (dest) {		last_browse_mode = dest;		browseurl(unescape(dest));	}	resetLinks(document.getElementById("library"));	resetcookieindex(browseind, searchind);}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/b8a008932e327a3f3428e67be2952dbf728aec76/home.js/clean/HTML/ExBrowse2/html/home.js