if (window.name!="reloaded") doRefresh();
function doRefresh(){
	window.name="reloaded";
	location.reload();	
}
function deactivateNelem(id){
}
function activateElem(id){
	elem = getElementById(id);
	deactivateNelem(id);
}