I first saw Robin Williams when he was a guest on "Happy Days" introducing us to his character Mork from Ork.