What’s steven hawking’s favourite type of comedy?? Stand up