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