function winResize () {
		right_top.style.width	= body.clientWidth - 556;
		head.style.width		= body.clientWidth - 205;
		txt.style.width		= body.clientWidth - 205;
}
function init() {
	window.onresize = winResize;
	winResize();
}
function over(n){
	document.all['mns'+n].style.visibility='visible';
}
function out(n){
	document.all['mns'+n].style.visibility='hidden';
}
function scrollit()
  {for (I=100; I>=1; I--)
  {self.scroll(1,I)}}