function JumpProd()
	{
	if (document.prodform.elements['vue'].options[document.prodform.elements['vue'].selectedIndex].value != -1)
		{
		window.location.href=document.prodform.elements['vue'].options[document.prodform.elements['vue'].selectedIndex].value;
		}
	}
	
function JumpSites(titre)
	{
	var expr=new RegExp('^www', 'g');
	if (expr.test(titre))
		{
		var site = window.open('http://'+titre);
		site.focus();
		}
	}