års tjenstetid blir det alltså 5,000 kr.