var RandomBorderStyle = require("random-border-style");
function changeBodyBorder(){
  document.getElementById("body").style.border = "3px " + RandomBorderStyle() + " red";
}
changeBodyBorder();