function filter(mnf_id){
	var divs=document.getElementsByTagName("div");
	var count=0;
	for (var di=0;di<divs.length;di++) {
		if (divs[di].className!="productbox") continue;
		if (!mnf_id || divs[di].id.replace(mnf_id+"prod","")!=divs[di].id) {
			divs[di].style.display="block";
			count++;
		} else divs[di].style.display="none";
	}
	var div=document.getElementById("spacerdiv");
	div.innerHTML="";
	if (count<3) {
		div.innerHTML="<p>&nbsp;</p><p>&nbsp;</p>";
		if (count<2) {
			div.innerHTML+="<p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p>";
		}
	}
}