TV / Movies: On mork & mindy, what was mindy's last name