// getArgs; Functie om URL te ontmantelen en variabelen uit te lezen
// Voorbeeld: bla.php?menu=14
//
// var args = getArgs(  );						
// if (args.menu) x = parseInt(args.menu);
//
// variable x heeft nu als waarde 14.
function getArgs(  )
	{
    var args = new Object(  );
    var query = location.search.substring(1);     
    var pairs = query.split(",");
    for(var i = 0; i < pairs.length; i++) {
        var pos = pairs[i].indexOf('=');
          // Look for "name=value"
        if (pos == -1) continue;
          // If not found, skip
        var argname = pairs[i].substring(0,pos);
          // Extract the name
        var value = pairs[i].substring(pos+1);
          // Extract the value
        args[argname] = unescape(value);
         // Store as a property
       // In JavaScript 1.5, use decodeURIComponent(  ) 
       // instead of escape(  )
    }
    return args;     // Return the object
}	

var pagina = window.location.href.replace (/^.*paginas\/(.+)$/i, "$1");

if (top.location == self.location) {
   	top.location.href = '../index.php?pagina=' + pagina;
}