平均基本流通股数的VirnetX Holding Corp。