var header4folders="<CENTER><FONT SIZE=2><i>navigation</i> » <a href='../index.htm'>home</a> | <a href='../history/history-index.htm'>history</a> | <a href='../higson/digital_music/index.htm'>music</a> | <a href='../web/index.htm'>www (web)</a> | <a href='../teaching/index.htm'>teaching</a> | <a href='../who.htm'>who (am I)?</a>  || <a href='../updates.htm'>updates</a> </font> </CENTER> <br>"; document.write(header4folders);