public vString image()		{ return vString.New("window_" + wnum + ":" + gnum + "(" + c.f.getTitle() + ")"); }
public vString image()	{ return vString.New("window_" + wnum + ":" + gnum + "(" + title() + ")"); }
public vString image()		{ return vString.New("window_" + wnum + ":" +				    gnum + "(" + c.f.getTitle() + ")"); }