function getID(id)
{
	return document.getElementById(id);
}
function prodShow(id)
{
	var prodDisplay = "none";
	if (id == "all")
		prodDisplay = "block";

	getID('overview').style.display = prodDisplay;
	getID('features').style.display = prodDisplay;
	getID('preview').style.display = prodDisplay;
	getID('spec').style.display = prodDisplay;
	
	getID('pm_overview').className = null;
	getID('pm_features').className = null;
	getID('pm_preview').className = null;
	getID('pm_spec').className = null;
	getID('pm_all').className = null;
	
	if (id != "all")
		getID(id).style.display = "block";
	getID('pm_'+id).className = "active";
}