function writenavhl(){ var navhl = '

'; navhl += '

'; navhl += 'history  |
'; navhl += 'change & development  |
'; navhl += 'export  |
'; navhl += '

'; navhl += 'production  |
'; navhl += 'brands  |
'; navhl += 'references  |
'; navhl += '

'; document.write (navhl); }