function redirectPage(form){
	var select = form.getElementsByTagName("select")[0];
	var selectValue = select.value;
	if (selectValue != -1){
		// Value est de la forme x;url
		// avec x=0 si ouverture dans la page courante
		// avec x=1 pour une ouverture dans une popup
		var where_is_mytool="home/mytool/mytool.cgi";
		var stringArray=selectValue.split(";");
		var url = stringArray[1];
		var pop = stringArray[0];
		if (pop == 1)
			window.open(url);
		else 
			window.location = url;
	}
	return false;
}