document.write('0342\n');