function checkEnter(e){ 
	var characterCode
	
	if(e && e.which){
		e = e
		characterCode = e.which
	}
	else{
		e = event
		characterCode = e.keyCode
	}
	
	if(characterCode == 13){
		return true
	}
	else{
		return false
	}
}

function doSearch(){
var theForm=document.forms[0];
	theForm.action = 'http://www.picosearch.com/cgi-bin/ts.pl';
	theForm.submit();
}