function size_changed()
	{
		var w;

		if (self.innerHeight) // all except Explorer
		{
			w = self.innerWidth;
		}
		else if (document.documentElement && document.documentElement.clientHeight)
		{
			w = document.documentElement.clientWidth;
		}
		else if (document.body) // other Explorers
		{
			w = document.body.clientWidth;
		}
	
		if(w > 1250)
		{
 			document.getElementById('pic').className = "pic";
	 		document.getElementById('ball').className = "ball";
		}
		else
		{
	 		document.getElementById('pic').className = "pic_hidden";
 			document.getElementById('ball').className = "ball_hidden";
		}
	}