function makev() {
aV[0] = new vnode(2690,"");
aV[1] = new vnode(3988,"");
aV[2] = new vnode(3989,"");
aV[3] = new vnode(3990,"");
}