document.write('0316\n');