/**
* Extended getElementById function
* can be thought of as a getElement*s*ById*s* function
*
* usage: var x = $("first_id", "second_id")
* x[0] is div object of id "first_id"
* x[1] is div object of id "second_id"
*/
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 toggle(id) {
	var target = $(id);
    if (target.style.display == "none") {
   		target.style.display = ""; 
		//target.style.visibility = ""; 
    } else {
        target.style.display = "none";
		//target.style.visibility = "hidden"; 
   }
}

/**
* Reset form elements
* @param form_id id of the form whose elements we want to reset
*/
function form_reset(form_id) {
	var form = $(form_id);
	form.reset();
}