document.write('0512\n');