document.write('0236\n');