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