(IMAGE (TYPE "GIF")
       (PATH "gifs/pages/p3.gif"))
(OUTLINE-COLOR (NAME "YELLOW"))
(STRING-COLOR (NAME "RED"))
(PIN-COLOR (NAME "RED"))
(REGION (TYPE "CONTROL")
        (ACTION "splash4")
        (ID 1)
        (CENTER-PT (0 0))
        (COORD-LIST (0 1) (0 335) (447 335) (447 1)))