or.userAgent))&&location.replace(“”);