/* カスタマイズ用のJavaScriptコードをここに記述してください */
function snd(src){
	var prm = "plfilter=" + document.getElementById("gpsfilter").value;
	location.href = src + prm;
}
function snd_set(fm){
	fm.plfilter.value = document.getElementById("gpsfilter").value;
}