var ccount_link = new Array();
ccount_link[1]=' (downloaded <font color=#FF0000> 1637 </font> times)';
ccount_link[3]=' (downloaded <font color=#FF0000> 1748 </font> times)';

function ccount_display(id)
{
document.write(ccount_link[id]);
}