// JavaScript Document

function changepicture(token) {
	ImgString = new String(document.getElementById("I" + token).src)
	NewString = ImgString.slice(0,-6) + ".jpg"
	document.getElementById("mainpic").src = NewString
}

function showpiclinks() {
	document.write("<style type='text/css'>");
	document.write("#piclinkspanel {visibility:visible;}");
	document.write("</style>");
}