public int Width( ) { return(Icon13.oper_dim(this.icon, true)); }
public int Height( ) { return(Icon13.oper_dim(this.icon, 2 != 0)); }