document.write("

管理用户 "); document.write("

老师 "); document.write("

家长 "); document.write("

学生 "); document.write("

普通用户 "); document.write("

游客 ");