function show_picto(){ 
	var i=1;
	while (document.getElementById('picto_'+i)) {
		document.getElementById('picto_'+i).style.display='block';
		i++;
		continue;
	}
}