
<!--
function filter() {
	var selectedstyle = $('style').getValue();
	if (selectedstyle != '') {
		window.location = '?stylefilter=' + selectedstyle;
	}
}
//-->