If the refresh rate is set the same for a javascript redirection script and a meta refresh tag, is one quicker than the other?