function duplicate(){
	if (document.indexedsearch.elements[0].value==''){
		return false;
	}
	else{
		document.indexedsearch.elements[1].value=document.indexedsearch.elements[0].value;
		return true;
	}
}