function lang(source,drain)
{
          var oldlink=parent.location.href;
          var newlink="";
          var pos;
          pos=oldlink.indexOf(source);
          newlink = oldlink.substring(0,pos);
          newlink += drain;
          newlink += oldlink.substring(pos+6,oldlink.length);
          parent.location.href=newlink;
}