function openPDF(url) {
	window.open(url, "pdf_file",'toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,modal=yes,close=no,resizable=1,width=800,height=600,left=100,top=100');
}
function getkey(e) {
	if(window.event) return window.event.keyCode;
	else if(e) return e.which;
	else return null;
}
function submitSiteSearch(fieldID) {
	var search_val = document.getElementById(fieldID).value;
	window.location.href = '/search/'+search_val;
}