domain size added to Var;