//---------------------------------------------------------------------------------


function clear_searchbox(el) {
  if (el.defaultValue==el.value) el.value = ""
  el.style.cssText = STYLE="color: black; float: right"
}

// KRS: 9 Nov 2005
// The function to handle PNG in IE5 was moved to pngfix.js
// Otherwise it caused problems in Opera.