Manual: how to kill Panther !