<!--
function onIntegerExit(input) {
	if (!isNaN(parseInt(input.value)))
		input.value = parseInt(input.value);
	else
		input.value = '';
}
function onFloatExit(input) {
	if (!isNaN(parseFloat(input.value)))
		input.value = parseFloat(input.value);
	else
		input.value = '';
}
function onDateExit(input) {
	var date = input.value.split('-');
	var y = date[0];
	var m = date[1];
	var d = date[2];
	
	if ((y >= 1899) && (y <= 2999) && (m >= 1) && (m <= 12) && (d >= 1) && (d <= 31))
		input.value = y + '-' + m + '-' + d;
	else
		input.value = '';
}
function onLowerCaseExit(input) {
	input.value = input.value.toLowerCase();
}
function onUpperCaseExit(input) {
	input.value = input.value.toUpperCase();
}
function onTimeExit(input) {
	var time = input.value.split(':');
	var h = time[0];
	var m = time[1];
	if ((h >= 0) && (h <= 23) && (m >= 0) && (m <= 59) && (m.length == 2))
		input.value = h + ':' + m;
	else
		input.value = '';
}
function onNumberExit(input) {
	if (isNaN(input.value))
		input.value = '';
}
//-->