function add_page_top() {
	document.write("<a href=\"/default.html\" class=\"menulink\">Home</a>");
	document.write("<a href=\"/gallery.html\" class=\"menulink\">Gallery</a>");
	document.write("<a href=\"/your_comments.html\" class=\"menulink\">Your comments</a>");
	document.write("<a href=\"/my_bio.html\" class=\"menulink\">My bio</a>");
	document.write("<a href=\"/links.html\" class=\"menulink\">Links</a>");
	document.write("<a href=\"/contact.html\" class=\"menulink\">Contact</a>");
	document.write("<br>");
}