function listlength(val){
	if(val=='all'){
    	document.location = "./?f=1";
    } else {
		document.location = "./?l="+val;
    }
}