document.write('0407\n');