/* header.js - REPLACE PAGE HEADER IF REQUIRED */ function header(id) { if(top.STORE.currID!=id) { if(id!="wh") { top.STORE.currID = id; top.TITLE.location.href ="../titles/header.html" } else { top.STORE.currID = "workhistory"; top.TITLE.location.href ="../../titles/header.html" } } } function showHeader() { var ID = top.STORE.currID with(top.TITLE.document) { open() write("") write("") write("
") write("
") write("") write("") write("") write("") write("
") write("
") write("") close() } }