$(document).ready(function() {$("#header_banner").rotator({ms : 7000});/*$("#rotator2").rotator({n:2});*/	/*$("#rotator3").rotator({n:3, autoHeight:true});*/SyntaxHighlighter.all();});