; ' idtr '?