Is this some javascript trick to coerce the date to an integer timestamp?  Learn something new every day...