function set_header_pic(reldir) {
strip_pics = new Array( 
	"littlekid_strip.jpg",  "littlekids.html",
	"bert_strip.jpg", "bert.html",
	"guitar_strip.jpg", "bw_guitar.html",
	"tongue_strip.jpg", "tonguesquint.html",
	"toes_strip.jpg", "toes.html",
	"seniorsmile_strip.jpg", "seniorsmile.html",
	"squinteyes_strip.jpg", "tonguesquint.html",
	"hair_strip.jpg", "hair.html",
	"garylips_strip.jpg", "garylips.html",
	"sospmouth_strip.jpg", "sosp_2003_056.html",
	"sospeyes_strip.jpg", "sosp_2003_056.html",
	"mullet_strip.jpg", "mullet.html",
	"head_bump_strip.jpg", "head_bump.html"
);
index = 2*Math.floor(Math.random()*(strip_pics.length/2));
document.headerstrip.src = reldir + "/images/strips/" + strip_pics[index];
document.links[0].href = reldir + "/imageshtml/stripsfull/" 
	+ strip_pics[index+1];
}