# ------------------------------------------------------------ # $Id: splash_top.sed 13 2010-09-10 09:55:59Z al $ # ------------------------------------------------------------