docs: function(url, doc, onload)
  	{
  		if (mxClient.IS_IE)
  		{
  			doc.onreadystatechange = function ()
  			{
  				if (doc.readyState == 4)
  				{
  					onload();
  				}
  			};
  		}
  		else
  		{
  			doc.addEventListener('load', onload, false);
  		}
  		
  		doc.load(url);
  	}