חוק השופטים (תיקון מס' 5), התש"ם-1980