// example usage
// change_icon(p1i0, "images/menu_icon/tools_newfolder_disabled.gif");
function change_icon(item, image_name)
{
  stgobj(item.ids+'ICON').src=image_name;
}

/* these functions assume tools_something.gif and
 * tools_something_disabled.gif for the file names
 * of the menu item icons.
 */
function icon_disable(item)
{
  if(stgobj(item.ids+'ICON') != null){
	  var src  = stgobj(item.ids+'ICON').src;
	  var src1 = src.replace(/^(.*\/tools_[^_]*)(_.*)?(\.gif)$/, "$1_disabled$3");
	  change_icon(item, src1);
  }
}
function icon_enable(item)
{
  if(stgobj(item.ids+'ICON') != null){
	  var src  = stgobj(item.ids+'ICON').src;
	  var src1 = src.replace(/^(.*\/tools_[^_]*)(_.*)?(\.gif)$/, "$1$3");
	  change_icon(item, src1);
  }
}