١٦ - كما هو مبين في الفقرة ٢٥، من تقرير اﻷمين العام، تقدر مرتبات وبدﻻت قضاة المحكمة الدولية وعددهم ١١ قاضيا، بمبلغ ٠٠٠ ٢٣٠ ٣ دوﻻر لفترة السنتين ١٩٩٤ - ١٩٩٥، على أساس شروط الخدمة المقترحة في الوثيقة A/C.5/49/11.
Como se indica en el párrafo 25 del informe del Secretario General, los sueldos y las prestaciones de los 11 magistrados del Tribunal Internacional se estiman en 3.230.000 dólares para el bienio 1994-1995, sobre la base de las condiciones de servicio propuestas en el documento A/C.5/49/11.