function getStyleObject(objectId) 
{
	if (document.getElementById && document.getElementById(objectId)) 
	{
		return document.getElementById(objectId);
	} 
	else if (document.all && document.all(objectId)) 
	{
		return document.all(objectId);
	} 
	else 
	{
		return false;
	}
}

function quick_search() {
	var searchform = getStyleObject("quicksearchform");
	searchform.submit();
}