document.write('0238\n');