function changeDiv(divName)
	{
		div = document.getElementById(divName);
		div.className = "button2";

	}
	function changeDiv2(divName)
	{
		div = document.getElementById(divName);
		div.className = "button";

	}
	function changeBorder(divName)
	{
		div = document.getElementById(divName);
		div.className = "borderWhite";		
	}
	function changeBorder2(divName)
	{
		div = document.getElementById(divName);
		div.className = "borderBlack";		
	}
	function changeSize(idName)
	{
		resized = document.getElementById(idName);
		resized.width ='136';
		resized.height = '111';
	}
	function changeSize2(idName)
	{
		resized = document.getElementById(idName);
		resized.width ='140';
		resized.height = '115';		
	}