document.write('0395\n');