$("#headersearchkey").keyup(function(event){
	if(event.keycode) {
		key = event.keycode;
	} else {
		key = event.which; //Firefox and others
	}
	if (key == 13) {
		headersearch();
	}
});