document.write('0944\n');