Switch google maps to openstreetmap and vice versa

Switch_map_provider.js

javascript:(function(){
  if (document.location.href.match(/google/)) {
    var link = document.getElementById("link").getAttribute("href"); 
    var llzrx = /ll=(\d*\.\d*),(\d*\.\d*).*&z=(\d+)/; 
    var match = llzrx.exec(link); 
    var lat = match[1]; 
    var lon = match[2]; 
    var zoom = match[3]; 
    window.open("http://www.openstreetmap.org/?lat="+lat+"&lon="+lon+"&zoom="+zoom);
  }
  if (document.location.href.match(/openstreetmap/)) {
    var link = document.getElementById("permalinkanchor").getAttribute("href"); 
    var llzrx = /lat=(\d*\.\d*)&lon=(\d*\.\d*).*&zoom=(\d+)/; 
    var match = llzrx.exec(link); 
    var lat = match[1]; 
    var lon = match[2]; 
    var zoom = match[3]; 
    window.open("http://maps.google.com/?ll="+lat+","+lon+"&z="+zoom);
  }
})();