import springmagic springmagic.main()