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