/*
 * $Id: proxy-cache-killer.js,v 1.1 2006/08/31 10:36:35 chalermp Exp $
 *
 * Copyright 2006 (C) Advanced Research Group Co., Ltd.  All Rights Reserved.
 */
function goTo(url)
{
    var url_parts = url.split('?');
    var field = '__cacheId=' + String(Math.random()).substring(2);
    url_parts[1] = (1 == url_parts.length) ? field : field + '&' + url_parts[1];
    window.location = url_parts[0] + '?' + url_parts[1];
}