arguments attribute is defined for a
menuitem tag, the value of that attribute is passed to the
receiveArguments() function (and to the
setMenuText() functions) as one or more arguments. The
arguments attribute is useful for distinguishing between two menu items that call the same menu command.