"; document.write("
");
   document.write(escape(__vector));
   document.write("
"); // -->