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