1function toggleFingerprints() {
2	var formSelect=document.forms[0].elements[0];
3	var type=formSelect.selectedIndex;
4	var idx=document.URL.indexOf("php?");
5	if (idx==-1) {
6		window.open(document.URL+"?fp_type="+type, "_self");
7	} else {
8		window.open(document.URL.substring(0,idx)+"php?fp_type="+type, "_self");
9	}
10}
11
12function setFingerprintsType() {
13	var idx=document.URL.indexOf("?");
14	var type=0;
15	if (idx != -1) {
16		var typeStr=document.URL.substring(idx+1, document.URL.length);
17		idx=typeStr.indexOf("=");
18		if (idx != -1) {
19			var ch=typeStr.substring(idx+1, idx+2)
20			switch (ch) {
21				case '1':
22					type=1;
23					break;
24				case '2':
25					type=2;
26					break;
27			}
28		}
29	}
30	var formSelect=document.forms[0].elements[0];
31	formSelect.selectedIndex=type;
32}
33