var isVisible=0;

function flip_visible()
{
	var classname="dop4"
	var alltags=document.getElementsByTagName("div")
	isVisible ^=1;
	for (i=0; i<alltags.length; i++)
	{
		switch (alltags[i].className)
		{
			case "dop4":
			case "dop5":
			case "dop7":
				alltags[i].style.visibility=isVisible ? "visible" : "hidden"
				break;

			case "dop3":
			{
/*				alltags[i].style.width = isVisible?360:660;
				alltags[i].style.left = isVisible?155:0;
*/
				alltags[i].style.width = isVisible?290:660;
				alltags[i].style.left = isVisible?220:0;
			}
		}

	}
	if (window.event) event.returnValue=false;
}

<!-- ASCII -->