location.href=url; } })();