Forums Scripts & Popups Converting time format

alias convtime {
  if ($gettok($1,2,32)) {
    if ($ifmatch == AM) { return $gettok($1,1,32) }
    elseif ($ifmatch == PM) { return $gettok($calc($mid($1,1,$calc($pos($1,:,1) - 1)) + 12) $+ : $+ $mid($1,$calc($pos($1,:,1) + 1)),1,32) }
  }
  else {
    if ($mid($1,1,$calc($pos($1,:,1) - 1)) > 12) { return $calc($mid($1,1,$calc($pos($1,:,1) - 1)) - 12) $+ : $+ $mid($1,$calc($pos($1,:,1) + 1)) PM }
    else { return $1 AM }
  }
}

alias convert.time { var %a = $ctime($date $remove($1-,$chr(32))) | return $time(%a,HH:nn) }