if(typeof(from) == "undefined"){ 
if(typeof from == "undefined"){ 
	_addArgs: function(path, args, from, upto){		if(typeof(upto) == "undefined"){			upto = args.length;		}		if(typeof(from) == "undefined"){			from = 0;		}		for(var i = from; i < upto; ++i){			path.push(" ");			path.push(args[i].toFixed());		}	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/2ca5c8c82fd0454e090d592c5a93d8a890c88aaa/vml.js/clean/gfx/vml.js