放假通知需要用红头文件吗