<?php

echo strtotime("Wed Feb 15 2012"), "\n";

?>