function doQuickLinks() {
	var selected = document.getElementById('quicklink').options[document.getElementById('quicklink').selectedIndex].value;
	window.location = selected + '.html';
}