// unique.js: read the contents of a file and print out the unique lines

defineClass("File")

// "arguments[0]" refers to the first argument at the command line to the 
// script, if present. If not present, "arguments[0]" will be undefined,
// which will cause f to read from System.in.
var f = new File(arguments[0]);
var o = {}
var line;
while ((line = f.readLine()) != null) {
	// Use JavaScript objects' inherent nature as an associative
	// array to provide uniqueness
	o[line] = true;
}
for (i in o) {
	print(i);
}