<!--

function ajouter(art,qte) { 
	self.location = "index.php?art="+art+"&qte="+qte+"";
}

function calcul_port(port) { 
	self.location = "index.php?pays="+port+"";
}

function cron_mois(mois) { 
	self.location = "co.php?mois="+mois+"#top";
}

if (top.frames.length!=0) top.location=self.document.location;

-->