$(window).load(function(){
	/* banner rotation */
	var banner_num=Math.round(Math.random()*12);
	var str="banners/"+banner_num+".jpg";
	$("div.banner img").attr("src",str);

	/* drop down menu */
	$('#dropd').hover(function(){
		$('ul', this).show();
	}, function(){
		$('ul', this).hide();
	});
});