var charset = "UTF-8";
var src = [
  "./javascript/common.js",
  "./gammo/js/gammo.js",
  "./javascript/markovdict.js",
  "./js/mosaic.js"
  ];

for (var i = 0, l = src.length; i < l; i++) {
  document.write('<script type="text/javascript" src= "' + src[i] + '" charset="' + charset + '"><\/script>');
}
