if (document.getElementById) {
	document.getElementById('navigation-students').getElementsByTagName('h3')[0].getElementsByTagName('a')[0].className = 'drawer-handle open';
	document.getElementById('navigation-students').getElementsByTagName('div')[0].className = 'drawer-content open';
}