/* $Id: menu.js,v 1.1 2004-02-26 02:23:22 greg Exp $ */
/* this is only a stub now - retrieve version 1.1 for the last full version */
var placeholder1 = 0;