<!--
function cleanString(s) {
	var ch;
	var sout = "";

	for (var i = 0; i < s.length; i++) {
		// walk through the string and remove all non-digits
		ch = s.charAt(i);
		if ((ch >= "0") && (ch <= "9")) {
			sout += ch;
		}
	}

	return sout;
}

function checkcertnum(ctrl) {
	var certnumin = ctrl.value;
	var certnumout = "";

	certnumout = cleanString(certnumin);

	// format main number	
	certnumout = certnumout.substring(0,3) + "-" + certnumout.substring(3,5) + "-" + certnumout.substring(5,9);
	ctrl.value = certnumout;
}
//-->