var OSAbbr="";
if (navigator.appVersion.indexOf("Win")!=-1) { OSAbbr="windows"; }
if (navigator.appVersion.indexOf("Mac")!=-1) { OSAbbr="mac"; }
if (navigator.appVersion.indexOf("Linux")!=-1 || navigator.appVersion.indexOf("X11")!=-1) { OSAbbr="linux"; }

function updateDownloadHrefWithOS(a_id) {
	if (OSAbbr.length>0) {
		document.getElementById(a_id).href += OSAbbr + "/";
	}
}