""who played Batman."