function pfReset(code) {

	var a = document.getElementById('switch_platform');
	var b = document.getElementById('switch_platform_d');
	if (a && b) {
		a.selectedIndex = b.value
	}

//	a = document.getElementById('search_scope');
//	b = document.getElementById('search_scope_d');
//	if (a && b) {
//		a.selectedIndex = b.value
//	}

}

function sws(w) {
	window.status = w;
	return true;
}

function cws() {
	window.status='';
}

.