var ds_sp3000u = "42,077";
var mc_sp3000u = "190";
var ds_sp9000u = "36,418";
var mc_sp9000u = "184";
var ds_sp580u = "31,198";
var mc_sp580u = "175";
var ds_sp280u = "21,588";
var mc_sp280u = "151";

function device_count(programmer)
{
	if ( programmer == "sp3ku" )
		document.write(ds_sp3000u);
	if ( programmer == "sp9ku" )
		document.write(ds_sp9000u);
	if ( programmer == "sp580u" )
		document.write(ds_sp580u);
	if ( programmer == "sp280u" )
		document.write(ds_sp280u);
}

function manufacturer_count(programmer)
{
	if ( programmer == "sp3ku" )
		document.write(mc_sp3000u);
	if ( programmer == "sp9ku" )
		document.write(mc_sp9000u);
	if ( programmer == "sp580u" )
		document.write(mc_sp580u);
	if ( programmer == "sp280u" )
		document.write(mc_sp280u);
}