(IMAGE (TYPE "GIF")
       (PATH "gifs/pages/p4.gif"))
(OUTLINE-COLOR (NAME "YELLOW"))
(STRING-COLOR (NAME "RED"))
(PIN-COLOR (NAME "RED"))
(REGION (TYPE "CONTROL")
        (ACTION "Master Frame")
        (ID 2)
        (CENTER-PT (0 0))
        (COORD-LIST (0 2) (0 336) (448 336) (448 2)))

(REGION (TYPE "CONTROL")
        (ACTION "splash5")
        (ID 1)
        (CENTER-PT (0 0))
        (COORD-LIST (119 288) (119 306) (152 306) (152 288)))