var $$ = function(id){return document.getElementById(id);};var addEvent = function(o, type, callback){if (o.attachEvent) {o.attachEvent('on' + type, callback);} else {o.addEventListener(type == 'mousewheel' ? 'DOMMouseScroll' : type, callback, true);}};var rand = function(i){return (Math.floor(Math.random() * i + 1));};var init = function(){};