function ustr(s)
{
	re=/\\/g;
	s=s.replace(re,"");
	return s;
}