/* $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;