document.write('0314\n');