if (document.all)
document.body.style.cssText="border: 10 #000080 solid"