// $Header: $
// extra headers for UserRect class

class DocRect;