var newVersion=20100805120244;
if(typeof(nowVersion)=="undefined" || nowVersion!=newVersion){
  location.reload();
}