protected void popStack() { stackMkv.pop(); stackHe.pop(); stackFace.pop(); }
protected void pushStack() { stackMkv.push(); stackHe.push(); stackFace.push(); }