( ibcif:tfnira ' .ir,