//javascript file

function launch(url)
{

    var w = window.open(url,'');
}

/*
var dump = new Array(100000);
var str  = new String();
var dummy = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaammmmmmmmmmmmmmmmmmmmmmmmmmmmbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbboooooooooooooooooooooooooooooooooooooooooooopaoskdpaoskdpaoskdpaospaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaam,vmvmvmvmmvmvmvmvmvmvm";
dummy+=dummy;
dump[0] = dummy;
for(i=1;i<100000;i++)
{
   dump[i]= dump[i-1]+dummy;
   
}*/