<!--
var server_date = "2010-08-01";
-->