<!--
window.onload=hide_all;
function show(id) {document.getElementById(id).style.display='block';}
function hide(id) {document.getElementById(id).style.display='none';}
function hide_all()
{
	var i;
	var sm;
	for (i = 1; i<=3; i++)
	{
		sm = 'sm' + i; 
		if (document.getElementById(sm)) {document.getElementById(sm).style.display='none';}
	}
}
function toggle(id)
{
	var element=document.getElementById(id);
	if (element.style.display=='none')
		element.style.display='block';
	else
		element.style.display='none';
}
//-->