A browser which is extended with hooks for machine management in javascript