#!/usr/bin/env python
# -*- coding: utf-8 -*-
import time
def test():
ordinal = 'Tue Jun 4 23:30:03.845 2013'
time_jieshu = time.strptime(ordinal, '%a %b %d %H:%M:%S.%f %Y')
time_jieshu = int(time.mktime(time_jieshu))
print time.strftime('%Y-%m-%d %H:%M:%S',time.localtime(time_jieshu))