Aladdin Jr. (basically Aladdin, just a cheaper, shorter version... my school isn't very big on funds for the drama department, sadly, but we make do with what we can) And actually, it has turned out very well
<input id="mac_address" value="undefined" type="hidden"><input id="triggerLogout" type="hidden">