הידעתם? אורך ממוצע של פסקי הדין = 146 עמודים (!); זמן ההמתנה הארוך ביותר לפסק דין = 78 חודשים...