חוק השופטים, התשי"ג-1953