function pageJump(url){ window.location.href = url;}