Industrial production October