function show_in_div(div,content)
{
	if(typeof div!="undefined")
	{
		document.getElementById(div).innerHTML=content;
	}
}

function set_bgcolor(div,col)
{
	if(typeof div!="undefined")
	{
		document.getElementById(div).backgroundColor=col;
	}
}

function download(dname,fname)
{
	window.open('download.php?file='+fname+'&dir=./'+dname);
}