VirnetX Holding (VHC) Total Debt: 2016