function changePic(picName)
{
	document.getElementById(picName).src= "../icons/" + picName + "2.png";
}
function changePicBack(picName)
{
	document.getElementById(picName).src= "../icons/" + picName + ".png";
}