//JS scripts
function quickmenu(){
	selIndex =  document.getElementById("machines").selectedIndex;
	value    = document.quickForm.machines.options[selIndex].value;
	window.location.href = value;
}