/* Accessing the time portion of a JavaScript date (from JavaScript For Dummies, 3rd edition) */