function setProspektVisibility (idProspekt, idDivElement)
{
	var divElement = document.getElementById( idDivElement );

	if ( divElement != null )
	{
		if ( idProspekt != -1 )
			divElement.style.visibility = "visible";
		else
			divElement.style.visibility = "hidden";
	}
}