/**
 * @author Tan
 */
function vid_switch(x) {
	var video = x * 230;
	document.getElementById('vids').style.marginTop = -(video) + 'px';
	document.getElementById('vidMenu').style.marginTop = -(475 - video) + 'px';
}