#include "XPLEVEL" void main() { XPLevel(12); }