#!/usr/bin/ksh
#ident	"@(#)proto:desktop/scripts/menu	1.1"
menu $*
