<!--
/* $Id: cismenus.js,v 1.1 2004/02/26 02:22:45 greg Exp $ */
/* this is only a stub now - retrieve version 1.15 for the last full version */
var placeholder = 0;
//-->