function cleanup()
{
	if ($('defim1') != null)
		$('defim1').style.display = 'none';
	if ($('defim2') != null)
		$('defim2').style.display = 'none';
	if ($('defim3') != null)
		$('defim3').style.display = 'none';
}