what is the total number of deputy judges that were post abolished?
4