I need to create time from hours and minutes. In mysql there is a 'Maketime' function exactly for that

```
mysql> SELECT MAKETIME(12,15,30);
    -> '12:15:30'

```

What function should I use to do it in sql server?