405406407408409410411412413414415
while (i.hasNext()) { nowInterval = i.next(); if (nowInterval.fits(gotID)) { return nowInterval; } } return null;