function doSubmit() {
	document.prodsel.submit();
}