/*
 * Common Javascript functions
 */

/* Change the page */
function open_page($url)
{
    window.location.href = $url;
}

/* vim: set ts=8 sts=4 sw=4 noet: */