while ($time_val == "08:28:00") {