/*
 * @(#)Record.java	1.0 2004/07/13
 */
      
/**
 * Base class for any record with member variable key.
 */
public class Record {
	/** The key of the record */
	public int key;

	public Record(int k) {
		key = k;
	}
}