function chkSearchForm() {
	if (document.searchForm.search.value.length) {
		document.searchForm.submit();
	}
}

function dl(doc,docname) {
document.linkform.doc_id.value = doc;
document.linkform.submit();

}