// alert ---------------------------------------------------------
function info_box(texte){
  alert(texte);
}
//function trim, pour suppr espace initial et final---------------
function trim(s) {
    return s.replace(/^\s+/, '').replace(/\s+$/, '');
}
//function trim, pour suppr espace initial -----------------------
function ltrim(s) {
    return s.replace(/^\s+/, '');
}

//function trim, pour suppr espace  final-------------------------
function rtrim(s) {
    return s.replace(/\s+$/, '');
}
function EMailChecker(str)
  {return str.match(/^(\w|-|\d|_)+(\.(\w|-|\d|_)+)*@(\w|-|\d)+(\.(\w|-|\d)+)+$/)}
  
function f_filled(s1) {
  s=new String(s1);
  if (s.length>0) return true;
  return false;
}