// JavaScript Document
/* --------- Scroll down to the result list --------- */
window.onload = function() {
	tinyScrolling.init();
	tinyScrolling.requestedY = tinyScrolling.getElementYpos($('search_result'));
	tinyScrolling.hash = "#search_result";
	tinyScrolling.scroll();
};