new name of funtion set_formatted_gmt_time; added set_formatted_local_time; added prove for both