// $Id: web_root.php 342 2008-12-11 19:54:23Z rfludwick $

var WEB_ROOT = '/';