// submits to a feedback page
function feedback(url) {
	document.location=url + "?feedbackOnURL=" + document.location;
}