// JavaScript Document
<!--
var jsid_lib1=true;
function pat_click(id){
var div=document.getElementById(id);
if(div) div.style.display=div.style.display=='none'?div.style.display='':div.style.display='none';
}

function pat_setStyle(id, new_style)
{
	document.getElementById(id).className=new_style;	
}
//-->