// init_urllib.js
var urllib=null;
try
{
    var urllib = importModule("urllib");
}
catch(e)
{
    alert("no lib loaded");
    reportException(e);
    throw "importing of urllib module failed.";
    
    
}