var menu = '<ul>' +
'<li><a href="./index.html">Divergent Ensembles</a></li>' +
'<ul>' +
'<li><a href="./7735.html">$77.35</a></li>' +
'<li><a href="./bluebin.html">Blue Bin</a></li>' +
'<li><a href="../photoimprovisations/yellowbuilding.html">The Yellow Building</a></li>' +
'</ul>' +
'</ul>';
document.write(menu);


var lis = document.getElementsByTagName("a");

for (var i=0;i<lis.length;i++) {
lis[i].onmouseover = function() {
	change_color();
};
lis[i].onmouseout = function() {
	restore_color("white");
};
};