function writeJS(){
var str='';
str+='<!-- Clip from here for javascript -->';
str+='<!-- Navigation menu -->';
str+='<div class="left-column">';
str+='<div class="h-50"><\/div><!-- \/h-70 -->';
str+='<!-- General Definition List -->';
str+='<dl class="menu right  lm-20">';
str+='<dt class="hide">pages       <\/dt>';
str+='<dd class=""><a href="index.html" class="menu">Home<\/a>       <\/dd>';
str+='<dd class=""><a href="idea.html" class="menu">The Idea<\/a>       <\/dd>';
str+='<dd class=""><a href="tunes.html" class="menu">The Tunes<\/a>      <\/dd>';
str+='<dd class=""><a href="tune-list.html" class="menu">Tune List<\/a>      <\/dd>';
str+='<dd class=""><a href="about.html" class="menu">About us<\/a>      <\/dd>';
str+='<dd class=""><a href="contact.html" class="menu">Contact<\/a>      <\/dd>';
str+='<dd class=""><a href="links.html" class="menu">Links<\/a>      <\/dd>';
str+='<dd class=""><a href="happening.html" class="menu">What\'s Happening<\/a>      <\/dd>';
str+='<dd class=""><a href="order.html" class="menu">How to Buy<\/a>      <\/dd>';
str+='<\/dl>';
str+='<\/div><!-- \/left-column -->';
str+='<!-- \/Clip from here for javascript -->';
document.write(str);
}
writeJS();
