function writeJS(){
var str='';
str+='<div id="menu-top"><\/div><!-- \/menu-top -->';
str+='<div id="menu-body" class="white">';
str+='<ul>';
str+=' <li><a href="http:\/\/davidhurleyworld.com\/index.html">HOME<\/a><\/li>';
str+='<li><a href="http:\/\/davidhurleyworld.com\/Paintings\/index.html">PAINTINGS<\/a><\/li>';
str+='<li><a href="http:\/\/davidhurleyworld.com\/Murals\/index.html">MURALS<\/a><\/li>';
str+='  <li><a href="http:\/\/davidhurleyworld.com\/PenInk\/index.html">PEN AND INK<\/a><\/li>';
str+=' <li><a href="http:\/\/davidhurleyworld.com\/Illustrations\/index.html">ILLUSTRATIONS<\/a><\/li>';
str+='  <li><a href="http:\/\/davidhurleyworld.com\/Store\/index.html">STORE<\/a><\/li>';
str+='  <li><a href="http:\/\/davidhurleyworld.com\/Contact\/index.html">CONTACT<\/a><\/li>';
str+='<\/ul>';
str+='<\/div><!-- \/menu-body -->';
str+='<div id="menu-foot"><\/div><!-- \/menu-foot -->';
document.write(str);
}
writeJS();