// JavaScript Document
function checksearch()
{
	var txt = document.getElementById('searchtxt').value;
	location.href='container.php?fun=dosearch&searchtxt='+txt;
}