// JavaScript Document
function clear_search(s) {if (s.defaultValue==s.value) s.value = ""}