function makev() {
aV[0] = new vnode(2690,"");
aV[1] = new vnode(2767,"");
aV[2] = new vnode(2769,"");
}