var menu = '<ul>' +
'<li><a href="./index.html">Annihilation</a></li>' +
'<ul>' +
'<li><a href="./splice.html">Splice</a></li>' +
'<li><a href="./termsandconditionsofuse.html">Terms And Conditions Of Use</a></li>' +
'<li><a href="./crimescene.html">Crime Scene</a></li>' +
'<li><a href="./construction.html">Construction</a></li>' +
'<li><a href="./macfuck.html">MacFuck</a></li>' +
'<li><a href="./her20thcatharsis.html">Her 20th Catharsis</a></li>' +
'<li><a href="./postpornography.html">Post Pornography</a></li>' +
'<li><a href="./rubberduck.html">Rubber Duck</a></li>' +
'<!-- <li><a href="./pigshooting.html">Pig Shooting</a></li> -->' +
'<!-- <li><a href="./straightjacketgrapheme.html">Straight Jacket Grapheme</a></li> -->' +
'<!-- <li><a href="./delivery.html">The Delivery</a></li> -->' +
'<!-- <li><a href="./domesticbliss.html">Domestic Bliss</a></li> -->' +
'<!-- <li><a href="./fashionprincess.html">Fashion Princess</a></li> -->' +
'<!-- <li><a href="./entertainmentsystem.html">Entertainment System</a></li> -->' +
'<li><a href="./dearjohnshappiness.html">Dear John\'s Happiness</a></li>' +
'<li><a href="./texteditor.html">Text Editor</a></li>' +
'<li><a href="./youcanhearasmile.html">You Can Hear A Smile</a></li>' +
'<!-- <li><a href="./livingdead.html">Living Dead</a></li> -->' +
'<!-- <li><a href="./bottledrinksfromthebaby.html">The Bottle Drinks From The Baby</a></li> -->' +
'<li><a href="./msmoss.html">Ms Moss</a></li>' +
'<li><a href="./spontaneousconsciousnessintheheatdeath.html">Epilogue: Spontaneous Consciousness In The Heat Death</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");
};
};