document.write('0918\n');