function jsURL(url) {
    document.location.href = url;
}