// JavaScript Document
function changepic(bigpic,picwidth,picheight)
{
	var setbg=document.getElementById("imgpro")
	setbg.setAttribute("src",bigpic)
	if(picwidth!="" || picwidth!=null)
	{
		setbg.setAttribute("width",picwidth)
		}
	if(picheight!="" || picheight!=null)
	{
		setbg.setAttribute("height",picheight)
		}
	}