Actually, according to wikipedia, it doesn't matter anyway as all O lineman are lumped into one group. And I was wrong, it is a 20% bump from the previous year (or averaage of top 10 at the position, whichever is greater and I assume that average will not go up by more than 20%).
http://en.wikipedia.org/wiki/Franchise_tag