function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}

MM_reloadPage(true);

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

// ---- Fonction permettant de retrouver le nom du fichier ------
function GetFileName(name) {
	
	var str = new String($(name).value);
  var ar = str.split("\\");
    
  newAr = ar[ar.length - 1];
  ar = newAr.split('/');
  fileName = ar[ar.length - 1];
    
  return htmlspecialchars(fileName);
    
}

// Fonction permettant de savoir si l'extension du fichier est correcte
function CheckFormat(name) {
	var format = '.jpeg|.jpg';
	var file = new String($(name).value);
	var args = format.split("|");
	var ok = false;
	var arg_list = new String;
	for (i = 0; i < args.length; i++) {
		var valeur = args[i];
		var nom_fic = file.substr(file.length - valeur.length, valeur.length).toLowerCase();
		arg_list += "*"+valeur+"  ";
		if (valeur == nom_fic) {
			ok = true;
			return ok;
		} 
	}

	return ok;
}

function format_str_file(string, length) {
	
	if(string.length > (length*2+3)) {
	
		first = string.substr(0, length);
		end = string.substr((string.length-length) ,length);
	
		return first+"..."+end;
		
	} else return string;
}

// Fonction permettant de remplacé la fonction htmlspecialchars de php
function htmlspecialchars(ch) {
   ch = ch.replace(/&/g,"&amp;")
   ch = ch.replace(/\"/g,"&quot;")
   ch = ch.replace(/\'/g,"&#039;")
   ch = ch.replace(/</g,"&lt;")
   ch = ch.replace(/>/g,"&gt;")
   return ch
}

// Donne le nom d'une image à partir de son url complète
function get_img_name(url) {
  var ar = url.split("\\");

  newAr = ar[ar.length - 1];
  ar = newAr.split('/');
  fileName = ar[ar.length - 1];
    
  return fileName;
}