The college has the Ricoh SafeCom print solution, and when you choose a printer, you will also see himprint in the name.
How to print from your PC / Mac?
Use Everyone Print to print from PC, Mac, and mobile devices.
Where do I find the printers?
Credit and print management
Note that the username must include the prefix stud.himolde.no\: E.g. stud.himolde.no\001618