Is there a Python function...

[Paul Sheer]

...to convert an ascii formatted date into integer time in seconds since 1970?

for example:
	input: Jan 12 1999 20h23
	output: 916165380

Thanks

-paul