{
	printf("%s\n", $2 ) ;
}
