var formSubmit = false;
var nonWhitespacePattern = new RegExp('\\S');
var nonNegativeIntPattern = new RegExp('^\\d+$');
var positiveFloatPattern = new RegExp('^(\\d*.)?\\d+$');


function checkSubmit () {
	if (formSubmit)
		return false;
	formSubmit = false;
	return true;
}


function popup (url) {
	window.open(url);
	return false;
}

function smallPopup (url) {
	window.open(url, null, 'directories=no,location=no,menubar=no,resizable=yes,scrollbars=yes,status=no,toolbar=no');
	return false;
}