// JavaScript Document
document.write('<a href=\"index.html\">');
document.write('Home');
document.write('</a>');
document.write(' | ');
document.write('<a href=\"About.html\">');
document.write('About');
document.write('</a>');
document.write(' | ');
document.write('<a href=\"Products.html\">');
document.write('Products');
document.write('</a>');
document.write(' | ');
// JavaScript Document
document.write('<a href=\"Infra.html\">');
document.write('Infrastructure');
document.write('</a>');
document.write(' | ');
// JavaScript Document
document.write('<a href=\"feedback.html\">');
document.write('Feedback');
document.write('</a>');
document.write(' | ');
// JavaScript Document
document.write('<a href=\"Contact.html\">');
document.write('Contact');
document.write('</a>');
document.write('&nbsp;  ');
// JavaScript Document