function $() {
  var elements = new Array();

  for (var i = 0; i < arguments.length; i++) {
    var element = arguments[i];
    if (typeof element == 'string')
      element = document.getElementById(element);

    if (arguments.length == 1)
      return element;

    elements.push(element);
  }

  return elements;
}

function searchFormClicked(id,caption) {
	if ($(id).value==caption)
		$(id).value="";
}

function searchFormBlurred(id,caption) {
	if (trim($(id).value)=='')
		$(id).value=caption;
}

function trim(str)
{
   return str.replace(/^\s*|\s*$/g,"");
}