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