/* Otherwise, leave it at "F" */
}
- /******************************/
+ /************************/
/* Set the service name */
- /******************************/
+ /************************/
function set_service_name() {
const sid = document.getElementById("servicename");