What was the name of the paranoid android in Hitch Hikers Guide to the Galaxy?

Robby

Wayne

Gort

Marvin