try {
  document.execCommand("BackgroundImageCache", false, true);
} catch(err) {}

function g(id){
  return document.getElementById(id);
}

var requiredMajorVersion = 6;
var requiredMinorVersion = 0;
var requiredRevision = 0;