var menu = '<ul>' +
'<li><a href="./index.html">Zines</a></li>' +
'<ul>' +
'<li><a href="./7735cover.doc">Cover of $77.35</a></li>' +
'<li><a href="./7735text6s.doc">Text of $77.35</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");
};
};