isset() is much faster though.