function setProdData(tab) {
	document.getElementById('prod_data').innerHTML = prod_data[tab];
	document.getElementById('prodtab_keyfeatures').className = 'prodtab_off';
	document.getElementById('prodtab_downloads').className = 'prodtab_off';
	//document.getElementById('prodtab_specs').className = 'prodtab_off';
	document.getElementById('prodtab_related').className = 'prodtab_off';
	document.getElementById('prodtab_'+tab).className = 'prodtab_on';
}