function $(o)
{
   return document.getElementById(o) ? document.getElementById(o) : o;
}

function trim(val)
{
	var str = val+"";
	if (str.length == 0) return str;
	var re = /^\s*/;
	str = str.replace(re,'');
	re = /\s*$/;
	return str.replace(re,'');
}

function popWindow(url)
{
	var win = window.open(url,'newwindow','height=600,width=700,top=100,left=300,toolbar=no,menubar=no,scrollbars=yes,resizable=no,location=no,status=no');
	win.focus();
	return true;
}