Some functions for the user part in processor.js