IMO:When IDCC files its 10K next week, it should indicate the amount of stock buy-back since 9/30/06..and Institutional ownership will reflect about 60% of OS.
IDCC INSTITUTIONAL Total Number of Holders 168
[My comment: The NASDAQ site seems to be working now.]