function selectOption(num)
{
	var selObj = document.getElementById('marineSel');
	selObj.selectedIndex = num;
}