var Timer;
function scroll_top(){
	Timer = setInterval("document.getElementById('portfolio_slider').scrollTop -= 6", 5);
}
function scroll_bottom(){
	Timer = setInterval("document.getElementById('portfolio_slider').scrollTop += 6", 5);
}