function clearDefault(dw) {
  if (dw.defaultValue==dw.value) dw.value = ""
}
function Default(w) {
  if (w.value=="") w.value = "<?php echo SEARCH_VALUE; ?>"
}