function writeJS(){
var str='';
str+='<!-- clip here for js menu -->';
str+='<ul>';
str+='  <li><a href="index.html">Home<\/a><\/li>';
str+='  <li class="push-right"><a href="shows.html" >Shows<\/a><\/li>';
str+='  <!-- <li class="push-right"><a href="schedule.html">Schedule<\/a><\/li> -->';
str+='  <li class="push-right"><a href="bio.html">Bio<\/a><\/li>';
str+='  <li class="push-right"><a href="reviews.html">Reviews<\/a><\/li>';
str+='  <li class="push-right"><a href="photos.html">Photos<\/a><\/li>';
str+='  <li class="push-right"><a href="technical.html">Technical<\/a><\/li>';
str+='  <li class="push-right"><a href="site-map.html">Site Map<\/a><\/li>';
str+='<\/ul>';
str+='<!-- \/clip here for js menu -->';
document.write(str);
}
writeJS();