function picChange(picName)
{
var str = document.getElementById(picName).src
document.getElementById(picName).src = (str.replace(/1/,"2"))
}