anchor.diff:  							<a id='refresh_link' href='?_src_=vars;[HrefToken()];datumrefresh=[refid]'>Refresh</a>
   							<form>
   								<select name="file" size="1"
  -									onchange="loadPage(this.form.elements\[0\])"
  +									onchange="handle_dropdown(this)"
   									target="_parent._top"
   									onmouseclick="this.focus()"
   									style="background-color:#ffffff">
  
positive.code: 					updateSearch();
  				}
  			}
  			function loadPage(list) {
  				if(list.options\[list.selectedIndex\].value == ""){
  					return;
  				}
  				location.href=list.options\[list.selectedIndex\].value;
  			}
  			function getCookie(cname) {
  				var name = cname + "=";
  				var ca = document.cookie.split(';');
  				for(var i=0; i<ca.length; i++) {
  					var c = ca\[i\];
  					while (c.charAt(0)==' ') c = c.substring(1,c.length);
  					if (c.indexOf(name)==0) return c.substring(name.length,c.length);
  				}
  				return "";
  			}
  
  		</script>
  		<div align='center'>
  			<table width='100%'>
  
negative.code: 			}
  		</style>
  	</head>
  	<body onload='selectTextField()' onkeydown='return handle_keydown()' onkeyup='handle_keyup()'>
  		<script type="text/javascript">
  			// onload
  			function selectTextField() {
  				var filter_text = document.getElementById('filter');
  				filter_text.focus();
  