// JavaScript Document function InsertHeader(file_name) { document.write ('

'); }