function display( a )
{
	var e	= document.getElementById( a );
	if( !e ) return true;
	e.style.display	= "block";
	return true;
} 

function vanquish( a )
{
	var e	= document.getElementById( a );
	if( !e ) return true;
	e.style.display	= "none";
	return true;
}