function show(obj) {

if (document.getElementById(obj).style.display == 'none') 
document.getElementById(obj).style.display = 'block';
else document.getElementById(obj).style.display = 'none';
}
function winResize () {
		txt.style.width		= body.clientWidth - 382;
		header.style.width	= body.clientWidth - 382;
}
function init() {
	window.onresize = winResize;
	winResize();
}
function Toggle(el) {
    el.style.display = (el.style.display == 'none' ? '' : 'none');
}