function db_search(str){	
	document.getElementById('searchFrame').src='search.php?str='  + str; 
}
function loading(){
	document.getElementById('search_div').style.visibility = 'visible';
	window.document.getElementById('result_div').innerHTML = '<div align="center"><p>&nbsp;</p><img src="icons/loading.gif" border="0"><p>&nbsp;</p></div>';
}