document.write('0230\n');