my to_string{
	my $s=shift;
	return $$s;
}