function RemoveLetters(source)
{
   return source.replace (/[a-z]/gi,"");
}