function design() {

var divObj = document.getElementById("poplinksbox");

divObj.style.overflow = "auto";divObj.style.width = "135px";

divObj.style.border = "3px solid #999";

divObj.style.fontSize = "10px";divObj.linkColor = "red";}