function toggle(id, value)  { 

	if (document.getElementById(id).style.display == value) {
		document.getElementById(id).style.display = 'none';
	} else {
		document.getElementById(id).style.display = value; 
	}
}
function is_defined( variable)
{
    return (typeof(window[variable]) == "undefined")?  false: true;
}