I think it's php running on the webserver, which then generates on the fly, the actual html for the client web browser. If you look at the page source, all you're going to be able to see is the resulting html from the php script, so it will appear as if that number has been hard coded. Check it again at midnight, and it should automatically change, if that is the hour at which the countdown is leading to.