(*) Added a few functions