function makev() {
aV[0] = new vnode(3646,"");
aV[1] = new vnode(3648,"");
aV[2] = new vnode(3649,"");
aV[3] = new vnode(3650,"");
aV[4] = new vnode(3651,"");
aV[5] = new vnode(3723,"");
}