document.write('<img src="images/space.gif" border="0" width="25" height="10" alt="">');
document.write(link1);
document.write(' | ');
document.write(link2);
document.write(' | ');
document.write(link3);
document.write(' | ');
document.write(link4);
document.write(' | ');
document.write(link5);
document.write(' | ');
document.write(link6);
document.write(' | ');
document.write(link9);