/**
* checkSearchInput()
* Change "/" with "_" in SearchInput
*/
function checkSearchInput() {
	do {
		oldvalue = document.search.SearchResultText.value;
		document.search.SearchResultText.value = oldvalue.replace(/\//, "_");
	} while (document.search.SearchResultText.value != oldvalue);
}


/**
* checkSearchText()
* Change "/" with "_" at Detailed Search
*/
function checkSearchText() {
	do {
		oldvalue = document.search2.SearchResultText.value;
		document.search2.SearchResultText.value = oldvalue.replace(/\//, "_");
	} while (document.search2.SearchResultText.value != oldvalue);
}