int nfiles = 12;
char *soundlist[] =
{
"00208072", 			/* low bell */
"00681727",			/* high bell */
"02355482",		/* robot fx */
"05126045", 			/* robot fx */
"06973087",
"13534851",
"3755858",		/* musical interlude */
"11909292",			/* FM musical interlude */
"07863621",			/* vintage fx */
"08857788",
"09939968",
"19986384",
  "\0"};