// empty script loaded by network_document_navigation.html