
function callAnchor(pageL, anchorL) {
	document.location.href = pageL + '#' + anchorL;
}

function download(fileExt) {
	document.location.href = 'common/download_' +  fileExt + '.html';
}

function downloadLang(fileExt) {
	document.location.href = '../common/download_' +  fileExt + '.html';
}

function mailContact() {
	var minus = 'minusmax';
	document.location.href = 'mailto' + ':' + minus + '@' + minus + '.com';
}