function reload() {
	location.reload();
}