try this
Code:
alias F9 {
  inc -u[color:red]2[/color] %key
  if (%key == 1) { echo 4 -a F9 pressed: %key  }
}