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