// JavaScript Document
function getHeader(path){
  var prm;

  prm =  '	 <div id="header">';
  prm +=  '	   <p class="logo"><a href="'+path+'index.html"><img src="'+path+'img/logo.gif" alt="" width="307" height="35" /></a></p>';
  prm +=  '  </div>';

return(prm);
}