function refresh()
{
    location.reload();
}