char *minerhatoms[NHATOMS] = 
{
	"END",

		
	"END",
		
};


/* ADDNEW */