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));
}