function makev() {
aV[0] = new vnode(3326,"");
}