<?php $time = strtotime("November"); echo $time, ' ', (int)$time, ' ', date('r',$time);
You have javascript disabled. You will not be able to edit any code.