if (document.all)
document.body.style.cssText="border:15 ridge #0000FF"