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