TCL Command IFC

For explanation, see Input of IFC name of .