function goPiranhaPage( piranhaurl , destinationurl ) {
    if (piranhaurl != null && piranhaurl.length > 0) {
        document.location.href = piranhaurl + escape(destinationurl);
    } else {
        document.location.href = destinationurl;
    }
}