An administrator is replacing a failed device on FortiManager by running the following command: execute device replace sn <devname> <serialnum>.Which device name and serial number must the administrator use?