9% is too low for change in company.

Don't forget that you are taking a risk on non-monetary aspects (eg. Company culture, new colleagues/boss, etc).

So, if you are going to change company, at least try to ask for a 15% to 20% increment.

Otherwise, if it turns out you hate the new company/colleagues/boss then all you get in return is 9% and a lot of unhappiness.