function jumpto(add){
    if (add) {document.location.href=add;}
}