&$72_STR;