stuff. */ printf("\n", CHARSET); ?> \n", $RCS_IDS); } ?>