// Note that the server-side process which serves up this script doesn't have to be a flat .js file, // it could be a PHP script or other dynamic process generating the script. //