function makeVisible(x)
{
	x.lastChild.style.visibility='visible';
}
function makeHidden(x)
{
	x.lastChild.style.visibility='hidden';
}
function pushClass(x, klasse)
{
	x.parentNode.className='over '+klasse;
}
function delClass(x, klasse)
{
	x.parentNode.className=klasse;
}