function redirect(url){
	location = url;
}

function closeWin(){
	window.close();
}

function openWin(url,name,param){
	newWin = window.open (url,name,param);
}				

function ltrim ( s ){
	return s.replace( /^\s*/, "" )
}
function rtrim ( s ){
	return s.replace( /\s*$/, "" );
}
function trim ( s ){
	return rtrim(ltrim(s));
}

function changeItemStyle(me, bgColor, fgColor, level)
{
	if (bgColor)
		me.style.backgroundColor = bgColor;
	if (fgColor)
		me.style.color = fgColor;
}