function flipdiv()
{
	var $mywidth=document.getElementById("toptags").offsetWidth;
	
	if($mywidth<100)
	{
		document.getElementById("toptags").style["width"]="480px";
		document.getElementById("toptags").style["height"]="200px";
		document.getElementById("toptags").style["border"]="1px solid #AAAAAA";
		document.getElementById("toptags").style["margin"]="0px";
	}
	else
	{
		document.getElementById("toptags").style["width"]="74px";
		document.getElementById("toptags").style["height"]="114px";
		document.getElementById("toptags").style["border"]="0px";
		document.getElementById("toptags").style["margin"]="0px 0px 0px -100px";
	}	
	return;
}