frameset = PAGE\r\npage = PAGE\r\nleft = PAGE\r\ntop = PAGE\r\nframeset.typeNum = 0\r\npage.typeNum = 1\r\nleft.typeNum = 2\r\ntop.typeNum = 3\r\n\r\nframeset.frameSet.rows = {$topFrameHeight},*\r\nframeset.frameSet.params = {$_stdFramesetParams}\r\nframeset.frameSet.1 = FRAME\r\nframeset.frameSet.1.obj = top\r\nframeset.frameSet.1.params = {$_stdFrameParams} scrolling="no"\r\nframeset.frameSet.2 = FRAMESET\r\nframeset.frameSet.2 {\r\n  params = {$_stdFramesetParams}\r\n  cols = {$leftFrameWidth},*\r\n  1 = FRAME\r\n  1.obj = left\r\n  1.params = {$_stdFrameParams} scrolling="no"\r\n  2 = FRAME\r\n  2.obj = page\r\n  2.params = {$_stdFrameParams} scrolling="auto"\r\n}\r\n