function page_init() {
    up = function() { window.location = '/'; }
    page_init2();
}