// JavaScript Document
document.write (
          '<select class="marklist" onChange="window.location=this.options[this.selectedIndex].value">' +
            '<option value="#">Select an article</option>' +
			'<option value="../thePen/iskf.html">Hung Gar sees the light</option>' +
			'<option value="../thePen/0002.html">Higher Martial Arts</option>' +
            '<option value="../thePen/0001.html">Traditional Forms v.s. Techniques Only</option>' +
          '</select>'
);