// JavaScript Document


function convertUrl (oldUrl) {  
  var url = document.location.href;  
  var newUrl=url.substr(0,url.indexOf("/wps"));    
  
  if (oldUrl.indexOf("portal")!=-1) { 
    
    if (url.indexOf("/myportal/")!=-1){
      oldUrl=oldUrl.replace("portal", "myportal");      
    }
  } else {
  
    if (url.indexOf("/portal/")!=-1){
      oldUrl=oldUrl.replace("myportal", "portal");             
    }
  
  }   
  
  newUrl=newUrl.concat(oldUrl);
  window.location.href = newUrl;
  return false;
}