/*΅ΨΗψΗΠ»»*/
	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 display_area()
	{
		$('areaList').style.display = 'block';
	}
	function hide_area()
	{
		$('areaList').style.display = 'none';		
	}
	document.body.onclick = hide_area;