// grey box requirement
var GB_ROOT_DIR = "./greybox/";

function openpage(url) { 
 window.location = url; 
}