function jump(url) {
        if (url != "#") 
                top.location = url;
}