function setURL(ctr){
        var newURL = window.location.href.substring(0,window.location.href.lastIndexOf("/")+1);
        window.location = newURL + "?ctr="+ctr;
}
    
//methods for showing/hiding div for wwa language chooser div
var alphaInterval;
function showDiv(){document.getElementById('wwLinks').className = 'displayDiv';}
function hideDiv(){clearTimeout(alphaInterval);document.getElementById('wwLinks').className = 'hideDiv';}
function setTimeOut(){if(alphaInterval){clearTimeout(alphaInterval);}alphaInterval = setInterval('hideDiv()',1000);}
function clearTime(){clearTimeout(alphaInterval);}