( blir således 9 );