document.write('0414\n');