; } : nctr.