// JavaScript Document
<!--
document.write('' + 
'<option value=0>All types</option>' + 
'<option value=1>Bullet</option>' +
'<option value=2>Magnum</option>' +
'<option value=3>Matchless</option>' +
'<option value=4>Scorpion I</option>' +
'<option value=5>Scorpion II</option>' +
'<option value=6>Scorpion II FB</option>' +
'<option value=7>SR6000</option>' +
'<option value=8>SR6500</option>' +
'<option value=9>SR9000</option>' +
'<option value=10>10/4/2</option>' +
'<option value=11>16/8/2</option>' +
'');

//-->