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