function NotActive(m_this)
{
	
		m_this.style.backgroundColor='#d7edfb'
	}


function Active(m_this)
 {
	
		m_this.style.backgroundColor='white'
	}
function color_change(m_this, color)
{
	m_this.style.backgroundColor=color
}
function m_size(m_id, m2_id)
{   
    var HeightOfTable = document.getElementById(m_id).offsetParent.offsetHeight;
	m2_id.style.offsetHeight = '"'+HeightOfTable+'"'; 
}
function pause(millisecondi)
{
    var now = new Date();
    var exitTime = now.getTime() + millisecondi;

    while(true)
    {
        now = new Date();
        if(now.getTime() > exitTime) return;
    }
}