function do_onload()
{
	if (!document.getElementById("layer1"))
	{
	  // do nothing
	  return false;
	}
	else
	{
	  var layerValue = document.getElementById("layer1").value;

	  if (layerValue == "undefined")
	  {
	    if (layerValue.length > 1)
	    {
	      changeLayer("layer1");      
	    }
	  }
	}
}