print "$R" . "::" . "$xx\n";