/* header.js: this library will contain code to populate header */ document.write("

This text is populated from header.js

");