function getFarFutureTime() {
    /* This is used to set a cookie to expire some time in the future.
    We'll make it 31/12/2025 so that an update to the site should be done before then.
    This is how Y2K style bugs are started, but if this is site remains unmodified
    till 2025, i'll do the update pro bono :) */
    $thetime = mktime(10,10,10,12,31,2025);
    return $thetime;
}