function dev(id)	{
	mydiv = eval('document.getElementById(id)');
	if (mydiv.style.display == 'none')	mydiv.style.display = '';
	else mydiv.style.display = 'none'
	}