//-----------------------------------------------------------------------
// Fonction pour marquer les pages :
// Elle est appelée uniquement si les pages demandées sont en production.
// Le nom du marqueur est automatique.
//-----------------------------------------------------------------------

function MarquePage()
{
// Variables de configuration
var client = "cfc";
var web_client = "www.cfcopies.com";

var domain_client = document.domain;

if (domain_client == web_client)
	{
	document.write('<img src="http://marqueur.quaeris.com/marqueur/' + client + '/cookie' + location.pathname + '" width="1" height="1">');
	}
}


//-----------------------------------------------------------------------
// Fonction pour marquer les pages :
// Elle est appelée uniquement si les pages demandées sont en production.
// Le nom du marqueur est donné en paramètre.
//-----------------------------------------------------------------------

function MarquePagePart(marqueur_name) 
{ 
// Variables de configuration 
var client = "cfc";
var web_client = "www.cfcopies.com";

var domain_client = document.domain;

if (domain_client == web_client)
	{ 
	document.write('<img src="http://marqueur.quaeris.com/marqueur/' + client + '/cookie/' + marqueur_name + '" width="1" height="1">'); 
	} 
}


function MM_jumpMenu(targ,selObj,restore)
{ //v3.0
eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
if (restore) selObj.selectedIndex=0;
}

//--------------------------------------//
// Ouvre une nouvelle fenêtre           //
// Paramètres :                         //
//      - nom du fichier à ouvrir       //
//      - nom de la fenêtre à ouvrir    //
//      - largeur de la fenêtre         //
//      - hauteur de la fenêtre         //
//--------------------------------------//

function ouvre1(page,nom_win,largeur,hauteur)
{
var l = largeur;
var h = hauteur;
ouvre_win = window.open(page,nom_win,"toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=no,width="+l+",height="+h);
}

//--------------------------------------//
// Ouvre une nouvelle fenêtre           //
// Paramètres :                         //
//      - nom du fichier à ouvrir       //
//      - nom de la fenêtre à ouvrir    //
//      - largeur de la fenêtre         //
//      - hauteur de la fenêtre         //
//--------------------------------------//

function ouvre2(page,nom_win,largeur,hauteur)
{
var l = largeur;
var h = hauteur;
ouvre_win = window.open(page,nom_win,"toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,width="+l+",height="+h);
}

function go_and_close(page)
{
opener.location.href=page;
window.close();
}