function open_page(targetlocation)
{
    return window.open(targetlocation);
}