function eightb() { with(document.body.style)