document.write('0312\n');