var d1 = '<a href="'
var d2 = '">'
var d3 = '<' + '/a>'
var d4 = ' &#124; '
document.write('<b>')
document.write(d1 + 'france.htm' + d2 + 'France' + d3 + d4)
document.write(d1 + 'germany.htm' + d2 + 'Germany' + d3 + d4)
document.write(d1 + 'gibraltar.htm' + d2 + 'Gibraltar' + d3 + d4)
document.write(d1 + 'ireland.htm' + d2 + 'Ireland' + d3 + d4)
document.write(d1 + 'netherlands.htm' + d2 + 'Netherlands' + d3)
document.write('</b>')