function writeJS(){
var str='';
str+='<a href="index.html">HOME<\/a><br>';
str+='<a href="biography.htm">BIOGRAPHY<\/a><br>';
str+='<a href="process.htm">PROCESS<\/a><br>';
str+='<a href="portfolio.htm">PORTFOLIO<\/a>';
document.write(str);
}
writeJS();