if ( typeof(pre) == "undefined" )
{
	pre = "../";
}
document.write( '<div class="menubar"><center>collective.co.uk : ' );
document.write( '<a href=' + pre + 'index.html>home/search</a>' );
document.write( '&nbsp;&nbsp;&nbsp;' );
document.write( '<a href=' + pre + 'darkroom/index.html>darkroom</a>' );
document.write( '&nbsp;&nbsp;&nbsp;' );
document.write( '<a href=' + pre + 'carbonboy/index.html>carbon boy</a>' );
document.write( '&nbsp;&nbsp;&nbsp;' );
document.write( '<a href=' + pre + 'expertsleepers/index.html>expert sleepers</a>' );
document.write( '&nbsp;&nbsp;&nbsp;' );
document.write( '<a href=' + pre + 'leaps/index.html>leaps</a>' );
document.write( '&nbsp;&nbsp;&nbsp;' );
document.write( '<a href=' + pre + 'loopfest/index.html>cambridge loopfest</a>' );
document.write( '</center></div><hr>' );