function showItem(title, highlight)
{
	var item_str;

	if(highlight == true){
		item_str = "<div class=\"heading_item\">\
          <table width=\"0\" border=\"0\" cellpadding=\"0\" cellspacing=\"0\" class=\"selection_base\">\
            <tr>\
              <td class=\"selection_left_top\">&nbsp;</td>\
              <td rowspan=\"3\" class=\"selection_main\">" + title + "</td>\
            </tr>\
            <tr>\
              <td class=\"selection_center\">&nbsp;</td>\
            </tr>\
            <tr>\
              <td class=\"selection_left_bottom\">&nbsp;</td>\
            </tr>\
          </table>\
        </div>";
	}
	else{
		item_str = "<div class=\"heading_item\"><div class=\"unselection\"><a href=\"#\"\
onclick=\"javascript: return goSelection('" + title + "')\">" + title + "</a></div>\
        </div>";
	}

	return item_str;
}

function showLoading()
{
	var loading_str;

	loading_str = "<div style=\"text-align:center; margin-top:128px\"><img \
src=\"/issta09/images/loading.gif\" /></div>";

	return loading_str;
}

function showMenu(items, sel)
{
	var i;

	for(i=0; i<items.length; ++i){
		var item = items[i];
		var itemid = '';
		var j;

		for(j=0; j<item.length; ++j){
			itemid += (item.charAt(j)==' '?'_':item.charAt(j));
		}

		var obj = document.getElementById('ID_' + itemid);

		if(obj != null){
			obj.innerHTML = showItem(item, item == sel);
		}
  	}
}