document.write('1: <b>ArcorSpeed..</b> (268)<br>');
document.write('2: <b>TDSL-Speed..</b> (173)<br>');
document.write('3: <b>DrTcp</b> (79)<br>');
document.write('4: <b>Hcim</b> (61)<br>');
document.write('5: <b></b> ()<br>');