// 把日期的格式转换成:yyyy-mm-dd hh:mi:se格式的字符串。
function DateString(date)
{
var dateString = '';
var year = date.getFullYear();
var month= date.getMonth() + 1 + '';
month = month.length==1?'0'+month:month;
var day = date.getDate();
var hour = date.getHours();
var minute = date.getMinutes();
var second = date.getSeconds();
dateString += year + '-' + month + '-' + day + ' ' + hour + ':' + minute + ':' + second;
return dateString;
}
// 格式化符点数
function FormatFloat(obj, intCount, dotCount) {
// 清除非数字
obj.value = /^[/-|/+]{0,intCount}/d*/.{0,dotCount}/d*/.exec(obj.value);
}