function getFront(mainStr, searchStr)
{
  foundOffset = mainStr.indexOf(searchStr);
  if (foundOffset == -1) {
    return null;
  }
 return mainStr.substring(0,foundOffset);
}

function getEnd(mainStr,searchStr) 
{
  foundOffset = mainStr.indexOf(searchStr);
   if (foundOffset == -1) {
     return null;
   }
  return mainStr.substring(foundOffset+searchStr.length, mainStr.length);
}

function replaceString(mainStr,searchStr,replaceStr) 
{
 var front = getFront(mainStr,searchStr);
 var end = getEnd(mainStr,searchStr);
 if (front != null && end != null) { 
  return front + replaceStr + end;
 }
 return mainStr;
}

function write_mail(mailStr)
{
	while(mailStr.indexOf("#") > 0){
		mailStr = replaceString(mailStr, "#", ".");
	}
	return replaceString(mailStr, "~", "@");
}

function my_function(mailStr)
{ document.location.replace("mailto:"+write_mail(mailStr));
  
}