That is by far the nicest way to say hi to someone.