function include_header()
{
document.write('<tr><td><img src="i/a2.jpg"></td><td width="100%"><img src="i/spacer.gif"></td><td><nobr><a href="forms.html" class="tlink">Forms</a></nobr></td><td><img src="i/a1.jpg"></td><td><nobr><a href="music.html" class="tlink">Music</a></nobr></td><td><img src="i/a1.jpg"></td><td><nobr><a href="contact.html" class="tlink">Contact</a></nobr></td><td><img src="i/a5.jpg"></td></tr>'
)
}