function linkTo(file) {
	window.location.href = file;
}