用SimpleDateFormat把时间格式化问题
Date   now=new   Date();
SimpleDateFormat   a=new   SimpleDateFormat( "yyyy_MM_dd_HHmmss ");
String   st   =   a.format(now);
st的值将会是2007_07_05_181512的一个字符串，怎么能把时间中的毫秒也包括进来，格式成像2007_07_05_1815121245，“yyyy_MM_dd_HHmmss”应该怎么写？或者有其他方法在后面加上毫秒的方法也可以，谢谢了

------解决方案--------------------
Date now=new Date();
SimpleDateFormat a=new SimpleDateFormat( "yyyy_MM_dd_HHmmssSS ");
String st = a.format(now);
"SS "表示Millisecond