function getObjectByID(id) {
	if (document.getElementById)
		return document.getElementById(id);
	else if (document.all)
		return document.all[id];
	return null;
}
function setPrivateSearch() {
	var c =getObjectByID('jsSearch');
	if (c) {
		c.innerHTML = "<form name='searchform' action='/index.php/Special:Search' id='searchform'><input id='searchInput' name='search' type='text' accesskey='f' value='' /><input type='submit' name='go' class='searchButton' id='searchGoButton' value='Go' />&nbsp;<input type='submit' name='fulltext' class='searchButton' value='Search' /></form>";
	}
}