// empty script loaded by iframe_request.html