PHP code - 6 lines

Link:

PHP, pasted on Dec 7:

<?php

$newdate = str_replace( ' ', '_', str_replace( ',','', "07 Dec, 2010" ) );
echo $newdate;
?>

Output:

1	07_Dec_2010