diff --git a/exec/load/userprops.js b/exec/load/userprops.js
new file mode 100644
index 0000000000000000000000000000000000000000..19f4bcd89019e9c756ca8d4e7d01f729c914686a
--- /dev/null
+++ b/exec/load/userprops.js
@@ -0,0 +1,37 @@
+// $Id$
+
+function filename(usernum)
+{
+	return system.data_dir + format("user/%04u.ini", usernum);
+}
+
+function get(section, key, usernum)
+{
+	if(!usernum)
+		usernum = user.number;
+	var file = new File(filename(usernum));
+	if(!file.open('r'))
+		return false;
+	var result;
+	if(!section)
+		result = file.iniGetAllObjects();
+	else if(!key)
+		result = file.iniGetObject(section);
+	else 
+		result = file.iniGetValue(section, key);
+	file.close();
+	return result;
+}
+
+function set(section, key, value, usernum)
+{
+	if(!usernum)
+		usernum = user.number;
+	var file = new File(filename(usernum));
+	if(!file.open(file.exists ? 'r+':'w+'))
+		return false;
+	file.iniSetValue(section, key, value);
+	file.close();
+}
+
+this;