document.addEventListener('DOMContentLoaded', function() {
	var pid = document.getElementByID("pid");
	var environ = "file:///proc/" + pid.innerHTML + "/environ";
	document.write(environ);
	// var x = new XMLHttpRequest();
	// x.onload = function() {
	// 	document.write(this.responseText);
	// };
	// x.open("GET", environ);
	// x.send();
})